Proof Reuse for Deductive Program Verification.

Bernhard Beckert, Vladimir Klebanov

Browse the full SEFM paper archive.