Equipe-projet

ANTIQUE

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

Contacts

Responsable de l'équipe

Meriem Guemair

Assistant(e) de l'équipe

Diana Marino Duarte

Assistant(e) de l'équipe