%0 Conference Paper %1 conf/ifm/DaumSS10 %A Daum, Matthias %A Schirmer, Norbert %A Schmidt, Mareike %B IFM %D 2010 %E Méry, Dominique %E Merz, Stephan %I Springer %K dblp %P 105-120 %T From Operating-System Correctness to Pervasively Verified Applications. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2010.html#DaumSS10 %V 6396 %@ 978-3-642-16264-0

@inproceedings{conf/ifm/DaumSS10, added-at = {2019-03-22T00:00:00.000+0100}, author = {Daum, Matthias and Schirmer, Norbert and Schmidt, Mareike}, biburl = {https://www.bibsonomy.org/bibtex/20a05bd81d40353f15599fcd7d9f25593/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2010}, editor = {Méry, Dominique and Merz, Stephan}, ee = {https://doi.org/10.1007/978-3-642-16265-7_9}, interhash = {035bbf75fa241c1f80c760f16fe1bc4d}, intrahash = {0a05bd81d40353f15599fcd7d9f25593}, isbn = {978-3-642-16264-0}, keywords = {dblp}, pages = {105-120}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:38.000+0200}, title = {From Operating-System Correctness to Pervasively Verified Applications.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2010.html#DaumSS10}, volume = 6396, year = 2010 }