Journal Articles
Techniques de l'Ingenieur
Year : 2007
Pierre-Cyrille Heam : Connect in order to contact the contributor
https://hal.inria.fr/inria-00181761
Submitted on : Wednesday, October 24, 2007-2:29:57 PM
Last modification on : Friday, January 21, 2022-3:09:49 AM
Dates and versions
Identifiers
- HAL Id : inria-00181761 , version 1
Cite
Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité. Techniques de l'Ingenieur, 2007, pp.1-9. ⟨inria-00181761⟩
Collections
117
View
0
Download