et SRIVAS M., « Effective Theorem Proving for Hardware Verification (1994)

by D CYRLUK, S RAJAN, N SHANKAR
Venue:In Theorem Provers in Circuit Design: Theory, Practice and Experience, September 1994. 94] GALLESIO E