Communication Dans Un Congrès
Année : 2014
Michaël Rusinowitch : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01090000
Soumis le : mardi 2 décembre 2014-16:59:38
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : hal-01090000 , version 1
Citer
Michaël Rusinowitch. Automated Verification of Security Protocols and Services. Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation, Tudor Jebelean; Wei Li ; Dongming Wang, Jul 2014, Vienna, Austria. ⟨hal-01090000⟩
Collections
107
Consultations
0
Téléchargements