frama-c - Count
- Événement à venir
- Association
- Entreprise
- - Groupe d'Utilisatrices de Logiciels Libres GULL
- - Fournisseur d'Accès à Internet FAI
- Institution
- Tiers-lieu
Dans le passé - 3 événements
-
Paris
OSIS 2017 - Frama-C & SPARK Day - Formal Analysis and Proof for Programs in C and Ada
Le mardi 30 mai 2017 de 09h00 à 17h30.
-
Rennes
Présentation de Frama-C
Le lundi 31 janvier 2011 de 20h00 à 22h00.