frama-c - Count
- Future
- Association
- Enterprise
- GLUG - GNU/Linux User Group
- ISP - Internet service provider
- Institution
- Third place
- See also
- Agenda - Map - GeoJSON
Past - 3 events
-
Paris
OSIS 2017 - Frama-C & SPARK Day - Formal Analysis and Proof for Programs in C and Ada
On Tuesday 30 May 2017 from 09h00 to 17h30.
-
Rennes
Présentation de Frama-C
On Monday 31 January 2011 from 20h00 to 22h00.