%0 Conference Paper %1 conf/isorc/BaumannBBT11 %A Baumann, Christoph %A Bormer, Thorsten %A Blasum, Holger %A Tverdyshev, Sergey %B ISORC Workshops %D 2011 %I IEEE Computer Society %K dblp %P 25-32 %T Proving Memory Separation in a Microkernel by Code Level Verification. %U http://dblp.uni-trier.de/db/conf/isorc/isorc2011w.html#BaumannBBT11 %@ 978-0-7695-4377-2

@inproceedings{conf/isorc/BaumannBBT11, added-at = {2014-10-07T00:00:00.000+0200}, author = {Baumann, Christoph and Bormer, Thorsten and Blasum, Holger and Tverdyshev, Sergey}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2adc496bb34920b087674c8784c718257/dblp}, booktitle = {ISORC Workshops}, crossref = {conf/isorc/2011w}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISORCW.2011.14}, interhash = {3f841158d065b78689536f7eb9a51236}, intrahash = {adc496bb34920b087674c8784c718257}, isbn = {978-0-7695-4377-2}, keywords = {dblp}, pages = {25-32}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:11:52.000+0100}, title = {Proving Memory Separation in a Microkernel by Code Level Verification.}, url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2011w.html#BaumannBBT11}, year = 2011 }