FM8501: A Verified Microprocessor. LNCS 795. Springer-Verlag (1994)

by 62a W Hunt
Venue:Metamathematics, Machines, and Goedel's Proof