@InProceedings{Boehme:TPHOLs2008-150,
  author =       "Sascha B{\"o}hme and Rustan Leino and Burkhart Wolff",
  title =        "{HOL-Boogie} -- {An} Interactive Prover for the
                 {Boogie} Program Verifier",
  pages =        "150--166",
  ee =           "http://dx.doi.org/10.1007/978-3-540-71067-7_15",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/boehme_tphols_2008.pdf",
  booktitle =    "Theorem Proving in Higher Order Logics (TPHOLs 2008)",
  address =      "Montr{\'e}al, Qu{\'e}bec, Canada",
  year =         "2008",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "5170",
}