Hardware Verification (1977)

by T J Wagner