Introduction to Formal Hardware Verification (1999)

by T Kropf