neuper@41964: @article{wolff10-boogie,
neuper@41964:   author    = {Sascha B{\"o}hme and
neuper@41964:                Michal Moskal and
neuper@41964:                Wolfram Schulte and
neuper@41964:                Burkhart Wolff},
neuper@41964:   title     = {HOL-Boogie - An Interactive Prover-Backend for the Verifying
neuper@41964:                C Compiler},
neuper@41964:   journal   = {J. Autom. Reasoning},
neuper@41964:   volume    = {44},
neuper@41964:   number    = {1-2},
neuper@41964:   year      = {2010},
neuper@41964:   pages     = {111-144},
neuper@41964:   ee        = {http://dx.doi.org/10.1007/s10817-009-9142-9},
neuper@41964:   bibsource = {DBLP, http://dblp.uni-trier.de}
neuper@41964: }