Interpolation and SAT-Based Model Checking (2003)

by K L McMillan
Venue:in Proc. Computer Aided Verification, ser. LNCS