@InProceedings{Leinenbach:FM2009-806,
  author =       "Dirk Leinenbach and Thomas Santen",
  title =        "Verifying the {Microsoft} {Hyper}-{V} {Hypervisor} with {VCC}",
  pages =        "806--809",
  ee =           "http://dx.doi.org/10.1007/978-3-642-05089-3_51",
  booktitle =    "Formal Methods (FM 2009)",
  year =         "2009",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "5850",
  address =      "Eindhoven, the Netherlands",
  note =         "Invited paper.",
}