@InProceedings{InderRieden:SSV08-151,
  author =       "Tom {In der Rieden} and Alexandra Tsyban",
  title =        "{CVM} -- {A} Verified Framework for Microkernel Programmers",
  booktitle =    "3rd International Workshop on Systems Software Verification (SSV 2008)",
  year =         "2008",
  publisher =    "Elsevier Science B.V.",
  series =       "Electronic Notes in Theoretical Computer Science",
  volume =       "217C",
  pages =        "151--168",
  ee =           "http://dx.doi.org/10.1016/j.entcs.2008.06.047",
}