Configurable Proof Obligations in the Frog Toolkit.

Simon Fraser, Richard Banach

Browse the full SEFM paper archive.