author | wneuper <Walther.Neuper@jku.at> |
Mon, 07 Nov 2022 17:37:20 +0100 | |
changeset 60586 | 007ef64dbb08 |
parent 52107 | f8845fc8f38d |
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 |
} |