@inproceedings{InderRieden:SSV08,
AUTHOR = {In der Rieden, T. and Tsyban, A.},
TITLE = {CVM - A Verified Framework for Microkernel Programmers},
VOLUME = {217},
YEAR = {2008},
PAGES = {151--168 },
SERIES = {ENTCS},
BOOKTITLE = {3rd intl Workshop on Systems Software Verification (SSV08)},
PUBLISHER = {Elsevier Science B.V.},
EDITOR = {R. Huuck, G. Klein and B. Schlich},
EE = {http://dx.doi.org/10.1016/j.entcs.2008.06.047},
}