Abstraction Mechanisms for Hardware Verification

Thomas F. Melham

institution	Computer Laboratory, University of Cambridge
month	May
number	106
year	1987