From Computationally-proved Protocol Specifications to Implementations

Résumé : no abstract
Type de document :
Communication dans un congrès
7th International Conference on Availability, Reliability and Security (AReS 2012), 2012, Prague, Czech Republic. IEEE, pp.65--74, 2012
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00863382
Contributeur : Ben Smyth <>
Soumis le : mercredi 18 septembre 2013 - 17:37:40
Dernière modification le : mercredi 22 novembre 2017 - 01:13:37
Document(s) archivé(s) le : vendredi 20 décembre 2013 - 15:02:05

Fichier

CadeBlanchetARES12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00863382, version 1

Collections

Citation

David Cadé, Bruno Blanchet. From Computationally-proved Protocol Specifications to Implementations. 7th International Conference on Availability, Reliability and Security (AReS 2012), 2012, Prague, Czech Republic. IEEE, pp.65--74, 2012. 〈hal-00863382〉

Partager

Métriques

Consultations de la notice

99

Téléchargements de fichiers

153