@InProceedings{BeckertKlebanov2005,
  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},
  note =         {Proceedings available at: https://ic.arc.nasa.gov/projects/sc05}
}