An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants (2004)

by E Rodrguez-Carbonell, D Kapur, 2004a
Venue:In: International Symposium on Static Analysis (SAS