Counterexample driven Refinement for Abstract Interpretation
Bhargav S. Gulavani and Sriram K. Rajamani
March 2006
 PDF file |
In Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Details
| Type | Inproceedings |
Share
