@InProceedings{Alkassar:VSTTE2010-40,
  author =       "Eyad Alkassar and Mark A. Hillebrand and Wolfgang Paul
                 and Elena Petrova",
  title =        "Automated Verification of a Small Hypervisor",
  pages =        "40--54",
  ee =           "http://dx.doi.org/10.1007/978-3-642-15057-9_3",
  booktitle =    "Verified Software: Theories, Tools, Experiments (VSTTE
                 2010)",
  address =      "Edinburgh, UK",
  year =         "2010",
  month =        aug,
  editor =       "Peter O'Hearn and Gary T. Leavens and Sriram
                 Rajamani",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "6217",
  sourcestgz =   "http://www.verisoftxt.de/d/src/BabyHypervisor-VSTTE2010.tar.gz",
}