« Interprétation abstraite : application à la vérification et à l'analyse statique » (M.P.R.I., M2)
- Si vous n'avez pas accès aux pages référencées ci-dessus, écrire à
Patrick.Cousot@ens.fr
pour obtenir les droits d'accès;
- If you don't have permission to access the above pages on this server,
please email to Patrick.Cousot@ens.fr.