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