| la date de réponse | 2011 |
|---|---|
| langue originale | Anglais |
| Superviseur | Patrick Heymans (Jury) |
A Generic Approach for Automated Verification of Product Line Models
Student thesis: Doc types › Docteur en Sciences