@InProceedings{BeckertKlebanov04,
author = {Bernhard Beckert and Vladimir Klebanov},
title = {Proof Reuse for Deductive Program Verification},
booktitle = {2nd International Conference on Software
Engineering and Formal Methods ({SEFM} 2004)},
venue = {Beijing, China},
editor = {J. Cuellar and Z. Liu},
pages = {77--86},
publisher = {{IEEE} Computer Society},
year = {2004},
doi = {10.1109/SEFM.2004.33},
eventdate = {2004-09-28/2004-09-30}
}