Understanding Counterexamples with explain
Alex Groce‚ Daniel Kroening and Flavio Lerda
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
Alex Groce‚ Daniel Kroening and Flavio Lerda