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

Cached

Download Links

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