@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}
}
Proof Reuse for Deductive Program Verification
| Author(s): | Bernhard Beckert and Vladimir Klebanov |
|---|---|
| In: | 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004) |
| Publisher: | IEEE Computer Society |
| Year: | 2004 |
| Pages: | 77-86 |
| DOI: | 10.1109/SEFM.2004.33 |