@inproceedings{muehlber:vfs,
 title     = "Verifying Compiled File System Code",
 author    = "Jan Tobias M{\"u}hlberg and Gerald L{\"u}ttgen",
 booktitle = "SBMF '09",
 PUBLISHER = {Springer},
 series    = "LNCS",
 volume    = 5902,
 address   = "Heidelberg",
 pages     = "306--320",
 year      = 2009
}