Extensible Specifications for Automatic Re-use of Specifications and Proofs.

Daniel Matichuk, Toby C. Murray

Browse the full SEFM paper archive.