Introduction to formal hardware verification (1999)

by T Kropf