Proof Reuse for Deductive Program Verification

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Vladimir Klebanov
In:Proceedings, Software Engineering and Formal Methods (SEFM), Beijing, China
Verleger:IEEE Press
Jahr:2004

BibTeX

@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}
}