Sections
Accueil UNamur > Agenda > Computer-Aided Reasoning for Product-Line Model Checking
événement

Computer-Aided Reasoning for Product-Line Model Checking

Defense du mémoire de Bruno Dawagne

Catégorie : mémoire
Date : 03/09/2014 13:00 - 03/09/2014 14:00
Lieu : Salle Dijkstra
Orateur(s) : Bruno Dawagne
Organisateur(s) : Isabelle Daelman

Contact : Isabelle Daelman - 4966 - isabelle.daelman@unamur.be
Télecharger : vCal