1.1 --- a/src/Doc/isac/msteger/bibliografie.bib	Mon Sep 16 12:27:20 2013 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,15 +0,0 @@
     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