Vladimir Klebanov. Proof Reuse for Program Verification Calculi. In Ulrike Sattler, editor, Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. Volume 106 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]
Abstract is missing.