Automatic Abstraction without Counterexamples (2003)

by Kenneth L McMillan, Nina Amla
Venue:In TACAS