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