Skip to main content

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