Equipe-projet

ANTIQUE

Analyse Statique par Interprétation Abstraite
Analyse Statique par Interprétation Abstraite
  1. Accueil
  2. Les équipes-projets
  3. ANTIQUE
Centre(s) inria
Paris
En partenariat avec
CNRS,Ecole normale supérieure de Paris

Membres de l'équipe-projet

Rival Xavier

Responsable de l'équipe

Gaudechoux Nathalie

Assistant(e) de l'équipe

Dans l'actualité

Découvrez les autres équipes
Découvrez les autres équipes qui travaillent sur le même thème