Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Counterexamples with Loops for Predicate Abstraction

Daniel Kroening and Georg Weissenbacher

Details

Publication typeInproceedings
Published inCAV
Pages152-165
> Publications > Counterexamples with Loops for Predicate Abstraction