Communication Dans Un Congrès
Année : 2013
Benjamin Gregoire : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01114366
Soumis le : lundi 9 février 2015-12:07:10
Dernière modification le : jeudi 16 mars 2023-04:10:41
Citer
Gilles Barthe, Francois Dupressoir, Benjamin Grégoire, Cesar Kunz, Benedikt Schmidt, et al.. EasyCrypt: A Tutorial. FOSAD 2013, 2013, Bertinoro, Italy. ⟨10.1007/978-3-319-10082-1_6⟩. ⟨hal-01114366⟩
231
Consultations
0
Téléchargements