Understanding Counterexamples with explain
Alex Groce‚ Daniel Kroening and Flavio Lerda
Details
| Book Title |
Proceedings of CAV 2004 |
| Editor |
Rajeev Alur and Doron A. Peled |
| ISBN |
3−540−22342−8 |
| Month |
July |
| Number |
3114 |
| Pages |
453–456 |
| Series |
LNCS |
| Year |
2004 |
Links
Related pages
|
People |