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

by E Rodríguez-Carbonell, D Kapur
Venue:In International Symposium on Static Analysis (SAS 2004