FM8501: A Verified Microprocessor (1994)

by W A Hunt Jr
Venue:Lecture Notes in Artificial Intelligence