| 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
Student thesis: Master types › Master en sciences informatiques