Automatic Abstraction without Counterexamples (2002)

by K. L. McMillan , Nina Amla
Citations:92 - 7 self