Equipe-projet

ANTIQUE

Analyse Statique par Interprétation Abstraite
Analyse Statique par Interprétation Abstraite
Centre(s) inria
Paris

Membres

Responsable de l'équipe

Nathalie Gaudechoux

Assistant(e) de l'équipe

Meriem Guemair

Assistant(e) de l'équipe

Dans l'actualité

Enigma

Est-ce une antique machine à écrire ? Non point ! Sous cette apparence trompeuse se cache la clé des secrets de la Seconde Guerre Mondiale.
public://import/interstice_image/2015/11/enigma/
Histoire du numérique