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