Reusing Proofs when Program Verification Systems are Modified

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Thorsten Bormer, and Vladimir Klebanov
In:Software Certificate Management Workshop (SoftCeMent 2005)
Year:2005

Note

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

BibTeX

@InProceedings{BeckertBormerKlebanov05,
  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},
  place     = {Long Beach, California, USA}
}