Abstraction Mechanisms for Hardware Verification
Thomas F. Melham
Institution
Computer Laboratory‚ University of Cambridge
Month
May
Number
106
Year
1987
Thomas F. Melham