Collège de France
menu
FR
EN
La vérification formelle appliquée aux protocoles cryptographiques
FR
EN
Stéphanie Delaune
LSV Cachan
Algorithmes, machines et langages (2007-2019)
/
En relation avec le sujet du cours
06 avril 2016
17:30
18:30
Séminaire
Amphithéâtre Maurice Halbwachs - Marcelin Berthelot
Télécharger la vidéo
Support
[1092.0Ko]
en savoir plus