@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}}
}