@article{wolff10-boogie,

   author    = {Sascha B{\"o}hme and

                Michal Moskal and

                Wolfram Schulte and

                Burkhart Wolff},

   title     = {HOL-Boogie - An Interactive Prover-Backend for the Verifying

                C Compiler},

   journal   = {J. Autom. Reasoning},

   volume    = {44},

   number    = {1-2},

   year      = {2010},

   pages     = {111-144},

   ee        = {http://dx.doi.org/10.1007/s10817-009-9142-9},

   bibsource = {DBLP, http://dblp.uni-trier.de}

 }