1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-isac/msteger/bibliografie.bib	Tue Sep 17 09:50:52 2013 +0200
     1.3 @@ -0,0 +1,15 @@
     1.4 +@article{wolff10-boogie,
     1.5 +  author    = {Sascha B{\"o}hme and
     1.6 +               Michal Moskal and
     1.7 +               Wolfram Schulte and
     1.8 +               Burkhart Wolff},
     1.9 +  title     = {HOL-Boogie - An Interactive Prover-Backend for the Verifying
    1.10 +               C Compiler},
    1.11 +  journal   = {J. Autom. Reasoning},
    1.12 +  volume    = {44},
    1.13 +  number    = {1-2},
    1.14 +  year      = {2010},
    1.15 +  pages     = {111-144},
    1.16 +  ee        = {http://dx.doi.org/10.1007/s10817-009-9142-9},
    1.17 +  bibsource = {DBLP, http://dblp.uni-trier.de}
    1.18 +}
    1.19 \ No newline at end of file