Sciweavers

SAS
2004
Springer

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

14 years 6 months ago
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
Enric Rodríguez-Carbonell, Deepak Kapur
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where SAS
Authors Enric Rodríguez-Carbonell, Deepak Kapur
Comments (0)