Bounded Model Checking and Induction: From Refutation to Verification. (2003)

by L de Moura, H Rueß, M Sorea
Venue:Computer-Aided Verification. LNCS 2725,