Abstraction Mechanisms for Hardware Verification (Computer Laboratory‚ University of Cambridge, 1987)

(untitled) - Melham, T