Microprocessor verification (1991)

by P Windley
Venue:In International Workshop on the HOL Theorem Proving System and its Applications