Counterexamples with Loops for Predicate Abstraction

In  CAV

Details

TypeInproceedings
Pages152-165
> Publications > Counterexamples with Loops for Predicate Abstraction