Mechanically Checking a Lemma Used in an Automatic Verification Tool.

Phillip J. Windley, Jerry R. Burch

Browse the full FMCAD paper archive.