Les méthodes formelles: l'autre arme de la cybersécurité - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Pour la science Year : 2016

Les méthodes formelles: l'autre arme de la cybersécurité

Not file

Dates and versions

hal-03189813 , version 1 (05-04-2021)

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

Share

Gmail Facebook Twitter LinkedIn More