Multiple-counterexample guided iterative abstraction refinement (2003)

by M Glusman, G Kamhi, S Mador-Haim, R Fraer, M Vardi
Venue:In TACAS ’03