Multi-Level Verification of Microprocessor-Based Systems (1989)

by J Joyce