Collège de France
menu
FR
EN
La vérification des programmes par interprétation abstraite
FR
EN
Patrick Cousot
Algorithmes, machines et langages (2007-2019)
/
En relation avec le sujet du cours (Chaire d'Innovation technologique Liliane Bettencourt)
22 février 2008
11:30
Séminaire
Amphithéâtre Guillaume Budé - Marcelin Berthelot
Télécharger la vidéo
Support
[6919.0Ko]
en savoir plus