Sciweavers

AMAST
1997
Springer

Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)

14 years 4 months ago
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)
Patrick Cousot, Radhia Cousot
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where AMAST
Authors Patrick Cousot, Radhia Cousot
Comments (0)