An abstract interpretation approach for automatic generation of polynomial invariants (2004)

by Enric Rodríguez-carbonell, Deepak Kapur
Venue:In 11th Static Analysis Symposium