Transparents de Cédric Fournet Lille 2011
Details for Transparents de Cédric Fournet Lille 2011
PropertyValue
NameTransparents de Cédric Fournet Lille 2011
Description

Conférencier invité : 
Dr Cédric Fournet (Microsoft Research)

Titre: Modèles et outils pour la vérification de programmes utilisant la cryptographie
FilenameCedricFournetLille-Juin2011.pdf
Filesize6.36 MB
Filetypepdf (Mime Type: application/pdf)
Creatoryvesledru
Created On: 06/09/2011 17:19
ViewersEverybody
Maintained byEditor
Hits498 Hits
Last updated on 06/09/2011 17:20
Homepage
CRC Checksum
MD5 Checksum