Communication Dans Un Congrès
Année : 2011
Brigitte Briot : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01110443
Soumis le : mercredi 28 janvier 2015-11:11:48
Dernière modification le : vendredi 19 avril 2024-16:18:57
Dates et versions
Identifiants
- HAL Id : hal-01110443 , version 1
Citer
Bruno Blanchet. A second look at {S}houp's lemma. FCC 2011 - Seventh Workshop on Formal and Computational Cryptography, Jun 2011, Paris, France. ⟨hal-01110443⟩
58
Consultations
0
Téléchargements