Proof Reuse for Deductive Program Verification

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Vladimir Klebanov
In:2nd International Conference on Software Engineering and Formal Methods (SEFM 2004)
Verleger:IEEE Computer Society
Jahr:2004
Seiten:77-86
DOI:10.1109/SEFM.2004.33

BibTeX

@InProceedings{BeckertKlebanov04,
  author =       {Bernhard Beckert and Vladimir Klebanov},
  title  =       {Proof Reuse for Deductive Program Verification},
  booktitle =    {2nd International Conference on Software
                  Engineering and Formal Methods ({SEFM} 2004)},
  venue =        {Beijing, China},
  editor =       {J. Cuellar and Z. Liu},
  pages     =    {77--86},
  publisher =    {{IEEE} Computer Society},
  year =         {2004},
  doi       =    {10.1109/SEFM.2004.33},
  eventdate =    {2004-09-28/2004-09-30}
}