@InProceedings{BeckertKlebanov04,
  author =       {Bernhard Beckert and Vladimir Klebanov},
  title  =       {Proof Reuse for Deductive Program Verification},
  booktitle =    {Proceedings, 
                  Software Engineering and Formal Methods (SEFM), 
                  Beijing, China},
  editor =       {J. Cuellar and Z. Liu},
  publisher =    {IEEE Press},
  year =         {2004}
}