Autre Publication
Pour la science
Année : 2016
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189813
Soumis le : lundi 5 avril 2021-09:08:51
Dernière modification le : lundi 29 janvier 2024-14:51:02
Dates et versions
Identifiants
- HAL Id : hal-03189813 , version 1
Citer
Jean Goubault-Larrecq. Les méthodes formelles: l'autre arme de la cybersécurité. 2016. ⟨hal-03189813⟩
Collections
44
Consultations
0
Téléchargements