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

View PDF

Download Links

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