Formal methods for software security (invited talk) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Formal methods for software security (invited talk)

Thomas Jensen
  • Function : Author
  • PersonId : 874110
Fichier principal
Vignette du fichier
ForumMF310117-Jensen.pdf (532.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01658549 , version 1 (07-12-2017)

Identifiers

  • HAL Id : hal-01658549 , version 1

Cite

Thomas Jensen. Formal methods for software security (invited talk). FMF 2017 - Forum "Méthodes Formelles", Jan 2017, Toulouse, France. pp.1-61. ⟨hal-01658549⟩
212 View
93 Download

Share

Gmail Facebook X LinkedIn More