Equipe-projet ANTIQUE Analyse Statique par Interprétation Abstraite Analyse Statique par Interprétation Abstraite
Centre(s) inria Paris Publications HALRapport d'activitéSite Web Membres Xavier Rival Responsable de l'équipe Nathalie Gaudechoux Assistant(e) de l'équipe Meriem Guemair Assistant(e) de l'équipe Dans l'actualité Cezara Dragoi, lauréate ANR Jeunes Chercheuses et Jeunes Chercheurs (JCJC) 18/05/2018 Enigma Est-ce une antique machine à écrire ? Non point ! Sous cette apparence trompeuse se cache la clé des secrets de la Seconde Guerre Mondiale. Histoire du numérique Les chemins inattendus du transfert avec Matrix Lead 13/11/2019 Les chemins inattendus du transfert avec Matrix Lead 18/10/2018 © Inria / Photo M. Sgandura Inria et le ministère de la Culture signent une convention-cadre 12/12/2016 Toute l'actualité de l'équipe-projet Découvrez les autres équipes qui travaillent sur le même thème
Enigma Est-ce une antique machine à écrire ? Non point ! Sous cette apparence trompeuse se cache la clé des secrets de la Seconde Guerre Mondiale. Histoire du numérique
© Inria / Photo M. Sgandura Inria et le ministère de la Culture signent une convention-cadre 12/12/2016
