| author | wneuper <Walther.Neuper@jku.at> |
| Sun, 31 Dec 2023 09:42:27 +0100 | |
| changeset 60787 | 26037efefd61 |
| 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 |
} |