Combining Deductive Theorem Proving with Symbolic State Enumeration." 21 Years of Hardware Verification (1998)

by M Gordon