Collège de France
menu
FR
EN
Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP
FR
EN
Loïc Correnson
CEA
Sciences du logiciel
/
En relation avec le sujet du cours
11 mars 2021
11:15
12:15
Séminaire
Amphithéâtre Guillaume Budé - Marcelin Berthelot
Télécharger la vidéo
Télécharger l'audio
Support
[1457.0Ko]
en savoir plus