Effective Theorem Proving for Hardware Verification (1994)

by D Cyrluk, S Rajan, N Shankar, M Srivas
Venue:Proc. of the 2nd International Conference on Theorem Provers in Circuit Design, Bad Heerenalb (Blackforest