An Integration of ModelChecking with Automated (1995)

by S Rajan, N Shankar, M K Srivas
Venue:Proof Checking,” Computer-Aided Verification, CAV ’95, LNCS 939