A Formal Template Language Enabling Metaproof.

Nuno Amlio, Susan Stepney, Fiona Polack

Browse the full FM paper archive.