Lightweight Program Construction and Verification Tools in Isabelle/HOL.

Alasdair Armstrong, Victor B. F. Gomes, Georg Struth

Browse the full SEFM paper archive.