Program Verification Using Automatic Generation of Polynomial Invariants. www.lsi.upc.es/~erodri (0)

by E Rodríguez-Carbonell, D Kapur