author | Walther Neuper <neuper@ist.tugraz.at> |
Mon, 16 Sep 2013 12:27:20 +0200 | |
changeset 52106 | 7f3760f39bdc |
parent 52056 | f5d9bceb4dc0 |
permissions | -rw-r--r-- |
neuper@41964 | 1 |
@article{wolff10-boogie, |
neuper@41964 | 2 |
author = {Sascha B{\"o}hme and |
neuper@41964 | 3 |
Michal Moskal and |
neuper@41964 | 4 |
Wolfram Schulte and |
neuper@41964 | 5 |
Burkhart Wolff}, |
neuper@41964 | 6 |
title = {HOL-Boogie - An Interactive Prover-Backend for the Verifying |
neuper@41964 | 7 |
C Compiler}, |
neuper@41964 | 8 |
journal = {J. Autom. Reasoning}, |
neuper@41964 | 9 |
volume = {44}, |
neuper@41964 | 10 |
number = {1-2}, |
neuper@41964 | 11 |
year = {2010}, |
neuper@41964 | 12 |
pages = {111-144}, |
neuper@41964 | 13 |
ee = {http://dx.doi.org/10.1007/s10817-009-9142-9}, |
neuper@41964 | 14 |
bibsource = {DBLP, http://dblp.uni-trier.de} |
neuper@41964 | 15 |
} |