@InProceedings{Beckert:SEFM04-77,
  author =       "Bernhard Beckert and Vladimir Klebanov",
  title =        "Proof Reuse for Deductive Program Verification",
  year =         "2004",
  pages =        "77--86",
  ee =           "http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.33",
  booktitle =    "2nd International Conference on Software Engineering
                 and Formal Methods ({SEFM} 2004), 28--30 September 2004,
                 Beijing, China",
  publisher =    "IEEE Computer Society",
  ISBN =         "0-7695-2222-X",
  URL =          "http://i12www.ira.uka.de/~beckert/pub/sefm04.pdf",
}