changeset 52107 | f8845fc8f38d |
parent 52056 | f5d9bceb4dc0 |
52106:7f3760f39bdc | 52107:f8845fc8f38d |
---|---|
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 } |