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:16 - 4 self