Formal Hardware Verification: Methods and Systems (1997)

by T Kropf
Venue:of Lecture Notes in Computer Science