Activités par an
Activités
- 1 résultats
Résultats de recherche
-
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Xavier Devroey (Conférencier)
8 oct. 2014 → 11 oct. 2014Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès