Verification of the Tamarack-3 microprocessor in a hybrid verification environment (1993)

by Z Zhu, J Joyce, C Seger
Venue:In Higher-Order Logic theorem proving and Its Applications, The 6th International Workshop, number 780 in Lecture Notes in Computer Science