Members of the “Abstract Interpretation” group :

Prof. Patrick COUSOT
Last modified: Saturday, 02-Jan-2010 16:38:08 CET