Automatic Abstraction without Counterexamples (2002)

by K. L. McMillan , Nina Amla
Citations:108 - 8 self