Automatic Abstraction without Counterexamples.

Kenneth L. McMillan, Nina Amla

Browse the full TACAS paper archive.