Other Publications
Pour la science
Year : 2016
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03189813
Submitted on : Monday, April 5, 2021-9:08:51 AM
Last modification on : Friday, March 24, 2023-2:53:21 PM
Dates and versions
Identifiers
- HAL Id : hal-03189813 , version 1
Cite
Jean Goubault-Larrecq. Les méthodes formelles: l'autre arme de la cybersécurité. 2016. ⟨hal-03189813⟩
43
View
0
Download