Reusing Proofs when Program Verification Systems are Modified

Begutachtete Veröffentlichung in Tagungsband

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

BibTeX

@inproceedings{BeckertBormerKlebanov05,
  author    = {Bernhard Beckert and Thorsten Bormer and Vladimir Klebanov},
  title     = {Reusing Proofs when Program Verification Systems are Modified},
  booktitle = {Proceedings, Software Certificate Management Workshop (SoftCeMent), Long Beach, California, USA},
  year      = {2005}
}