@Article{Boehme:JAR-44-1-111,
  author =       "Sascha B{\"o}hme and Micha{\l} Moskal and Wolfram
                 Schulte and Burkhart Wolff",
  title =        "{HOL-Boogie}: An Interactive Prover-Backend for the
                 {Verifiying C Compiler}",
  pages =        "111--144",
  journal =      "Journal of Automated Reasoning",
  volume =       "44",
  number =       "1--2",
  publisher =    "Springer",
  year =         "2010",
  ee =           "http://dx.doi.org/10.1007/s10817-009-9142-9",
}