Verifying compiled file system code
Mühlberg, Jan Tobias; Lüttgen, Gerald (2012): Verifying compiled file system code, in: Formal Aspects of Computing : the international journal of formal methods, London ; Berlin: Springer, Jg. 24, Nr. 3, S. 375–391, doi: 10.1007/s00165-011-0198-z.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
Formal Aspects of Computing : the international journal of formal methods
ISSN:
0934-5043
Publisher Information:
Year of publication:
2012
Volume:
24
Issue:
3
Pages:
Language:
English
DOI:
Type:
Article
URI:
Activation date:
January 14, 2013

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/829