@inproceedings{DaumSS_ifm2010-,
AUTHOR = {Daum, Matthias and Schirmer, Norbert W. and Schmidt, Mareike},
TITLE = {From Operating-System Correctness to Pervasively Verified Applications},
VOLUME = {6396},
YEAR = {2010},
PAGES = {105--120},
SERIES = {Lecture Notes in Computer Science},
BOOKTITLE = {Integrated Formal Methods, 8th International Conference},
PUBLISHER = {Springer},
EDITOR = {Méry, Dominique and Merz, Stephan},
EE = {http://dx.doi.org/10.1007/978-3-642-16265-7_9},
}