Collège de France
menu
FR
EN
Intégration de la vérification formelle dans les langages de programmation (INRIA de Rennes)
FR
EN
Thomas Jensen
Inria Rennes
Algorithmes, machines et langages (2007-2019)
/
En relation avec le sujet du cours
04 novembre 2015
17:30
Séminaire
INRIA Rennes
Attention, ce premier séminaire est délocalisé à l'Inria de Rennes.
Télécharger la vidéo
Support
[3487.0Ko]
en savoir plus