Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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: https://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: https://ic.arc.nasa.gov/projects/sc05},
  venue     = {Long Beach, California, USA}
}