Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation
200818329T : ABSTRACTION Interprétation abstraite et analyse statique
Unité de recherche
(situation 2024)
Responsable(s)
Responsable scientifique - Patrcik COUSOT à partir du 01/01/2008 ( Patrick.Cousot@ens.fr )
Responsable scientifique - Le responsable ne souhaite pas publier ses coordonnées.
|
|
Etablissement |
|
INRIA - Institut national de la recherche en informatique et automatique (EP )
(établissement tutelle à
partir de 2008)
Etablissement référent
|
Fiche mise à jour par Thierry Dautcourt le 29/03/2016 à 18:29
|