Options
Verifying compiled file system code
Mühlberg, Jan Tobias; Lüttgen, Gerald (2009): „Verifying compiled file system code“. Berlin u.a.
Faculty/Professorship:
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
published:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/20148