Verifying compiled file system code





Professorship/Faculty: Software Technologies  
Authors: Mühlberg, Jan Tobias; Lüttgen, Gerald  
Title of the Journal: Formal Aspects of Computing : the international journal of formal methods
ISSN: 0934-5043
Publisher Information: London ; Berlin : Springer
Year of publication: 2012
Volume: 24
Issue: 3
Pages / Size: 375 - 391
Language(s): English
DOI: 10.1007/s00165-011-0198-z
Document Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/829
Release Date: 29. November 2012