H.: Counterexample-guided abstraction refinement (2000)

by E Clarke, O Grumberg, S Jha, Y Lu, Veith
Venue:Proc. 12th Int. Conf. Computer Aided Verification (CAV’00), Lecture Notes in Computer Science