Reusing Proofs when Program Verification Systems are Modified

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Thorsten Bormer und Vladimir Klebanov
In:Software Certificate Management Workshop (SoftCeMent 2005)
Jahr:2005

Anmerkung

Proceedings available at: http://ic.arc.nasa.gov/projects/sc05

BibTeX

@InProceedings{BeckertBormerKlebanov2005,
  author    = {Bernhard Beckert and Thorsten Bormer and Vladimir Klebanov},
  title     = {Reusing Proofs when Program Verification Systems are Modified},
  booktitle = {Software Certificate Management Workshop ({SoftCeMent} 2005)},
  year      = {2005},
  note      = {Proceedings available at: http://ic.arc.nasa.gov/projects/sc05},
  venue     = {Long Beach, California, USA}
}