Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification (abstract).

Kenneth L. McMillan Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification (abstract). 1 http://link.springer.de/link/service/series/0558/bibs/1522/15220001.htm 1998 conf/fmcad/1998 FMCAD db/conf/fmcad/fmcad1998.html#McMillan98