Counterexample Guided Abstraction Refinement via Program Execution
Alex Groce and Daniel Kroening
Book Title
Proceedings of ICFEM 2004
Month
November
Number
3308
Pages
224–238
Publisher
Springer
Series
LNCS
Year
2004
Alex Groce and Daniel Kroening