Interprétation abstraite et propriétés de programmes C
1 : Laboratoire de Sûreté et de Sécurité des Logiciels
(LSL)
-
Site web
CEA Tech List
Nano-Innov, Palaiseau -
France
Virgile Prevosto
| Type : | : | oral |
| Langue du texte intégral | : | français |
| Date de production, écriture | : | 08/02/2022 |
| Mots-Clés | : | vérification ; programmes C ; frama C |
| PDF version | : |  PDF version |
- Poster
