Counterexample-guided abstraction re (2000)

by E Clarke, S Grumberg, S Jha, Y Lu, H Veith
Venue:In Proc. of CAV '00