HOL:A Proof Generating System for Higher-Order Logic (1987)

by Michael J C Gordon
Venue:VLSI Speci Veri and Synthesis