Equipe-projet

ANTIQUE

Analyse Statique par Interprétation Abstraite
Analyse Statique par Interprétation Abstraite
Centre(s) inria
Paris
En partenariat avec
CNRS,Ecole normale supérieure de Paris

Membres de l'équipe-projet

Responsable de l'équipe

Gaudechoux Nathalie

Assistant(e) de l'équipe

Dans l'actualité