Formal Verification of Hardware Correctness: Introduction and Survey of Current Research (1988)

by P Camurati, P Prinetto
Venue:IEEE Computer