Résumé
| la date de réponse | 3 sept. 2014 |
|---|---|
| langue originale | Anglais |
| L'institution diplômante |
|
| Superviseur | Patrick HEYMANS (Promoteur) & MAXIME CORDY (Copromoteur) |
Computer-Aided Reasoning for Product-Line Model Checking
Thèse de l'étudiant: Master types › Master en sciences informatiques