APRON
Revision as of 23:04, 25 October 2012 by David Monniaux (talk | contribs) (Created page with "'''APRON''' is a library for handling abstract values. ==Downloads== * svn://scm.gforge.inria.fr/svnroot/mlxxxidl/mlgmpidl/trunk * svn://scm.gforge.inria.fr/svnroot/apron")
APRON is a library for handling abstract values.