Counterexamples with Loops for Predicate Abstraction
Daniel Kroening and Georg Weissenbacher
Details
| Book Title |
Proceedings of CAV 2006 |
| ISBN |
3−540−37406−X |
| Pages |
152–165 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
4144 |
| Year |
2006 |
Links
Related pages
|
People |