Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: CounterexampleGuided Abstraction Refinement (0)

by Edmund M Clarke
Venue:CAV