Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP

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
Les cours et séminaires sont gratuits, en accès libre, sans inscription préalable.
1530 la lettre
1530 la lettre
Contacts
Intranet
Fondation
Salamandre
Informations légales