APRON

Numerical Program Analysis

This projects belongs to the ACI "Sécurité & Informatique"























































First International Workshop on Numeric and Symbolic Abstract Domains (NSAD'05)

Maison des Polytechniciens, Paris, Jan. 21, 2005