Jean Goubault-Larrecq Professeur (LSV, CNRS, ENS Cachan). Sécurité & Vie privée Site internet Ses articles ( 1 article publié ) ArticleSécurité & Vie privée Culture & Société Les méthodes formelles : l’autre arme de la cybersécurité Jean Goubault-Larrecq 04/10/2017 Niveau intermédiaire Niveau 2 : Intermédiaire Les méthodes formelles : l’autre arme de la cybersécurité Jean Goubault-Larrecq Lire l’article Voir tous les auteurs
