Bernhard Beckert, Vladimir Klebanov
Proof Reuse for Deductive Program Verification
SEFM, 2004.
@inproceedings{SEFM-2004-BeckertK, author = "Bernhard Beckert and Vladimir Klebanov", booktitle = "{Proceedings of the Second International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2004.33", isbn = "0-7695-2222-X", pages = "77--86", publisher = "{IEEE Computer Society}", title = "{Proof Reuse for Deductive Program Verification}", year = 2004, }