| author | Walther Neuper <neuper@ist.tugraz.at> |
| Tue, 28 Jun 2011 17:08:22 +0200 | |
| branch | decompose-isar |
| changeset 42070 | 322bc326d094 |
| parent 41964 | 2fef6427871c |
| 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 |
} |