Verifying compiled file system code
Mühlberg, Jan Tobias; Lüttgen, Gerald (2009): Verifying compiled file system code, in: Marcel Vinícius Medeiros Oliveira, Jim Woodcock, Marcel Vinícius Medeiros Oliveira, u. a. (Hrsg.), Formal methods: foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19- 21, 2009 ; revised selected papers, Berlin u.a., S. 306–320.
Faculty/Chair:
Author:
 ; 
Title of the compilation:
Formal methods: foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19- 21, 2009 ; revised selected papers
Editors:
Oliveira, Marcel Vinícius Medeiros
Woodcock, Jim
Conference:
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19- 21, 2009
Publisher Information:
Year of publication:
2009
Pages:
ISBN:
978-3-642-10452-7
Language:
English
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

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