Formal methods for software security (invited talk)

Thomas Jensen 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Communication dans un congrès
FMF 2017 - Forum "Méthodes Formelles", Jan 2017, Toulouse, France. pp.1-61
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01658549
Contributeur : Thomas Jensen <>
Soumis le : jeudi 7 décembre 2017 - 16:49:02
Dernière modification le : mercredi 16 mai 2018 - 11:24:13

Fichier

ForumMF310117-Jensen.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01658549, version 1

Collections

INRIA | IRISA | INRIA2017 | UR1-UFR-ISTIC | UNIV-RENNES | CENTRALESUPELEC

Citation

Thomas Jensen. Formal methods for software security (invited talk). FMF 2017 - Forum "Méthodes Formelles", Jan 2017, Toulouse, France. pp.1-61. 〈hal-01658549〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

586

Téléchargements de fichiers

49

Contact


archive-ouverte@inria.fr