An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
Static Analysis Symposium, SAS-2004,
Italy, August 2004.
Enric Rodriguez-Carbonell and Deepak Kapur

To view entire paper click here