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