Equipe-projet

ANTIQUE

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

Membres

Responsable de l'équipe

Gaudechoux Nathalie

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/