Multi Level Verification of Microprocessor-Based Systems (1990)

by J JOYCE