méthodes-formelles - Count
- Future
- Association
- Enterprise
- - GNU/Linux User Group GLUG
- - Internet service provider ISP
- Institution
- Third place
Past - one event
-
Paris
Frama-C Day - Analyse et vérification de logiciels
On Monday 20 June 2016 from 09h00 to 18h00.