Counterexample-guided abstraction re (2000)

by E M Clarke, O Grumberg, S Jha, Y Lu, H Veith
Venue:In Proceedings of the 12th International Conference on Computer Aided Veri (CAV), volume 1855 of Lecture Notes in Computer Science