| la date de réponse | 11 sept. 2014 |
|---|---|
| langue originale | Anglais |
| L'institution diplômante |
|
| Superviseur | Patrick Heymans (Promoteur), Pierre Yves Schobbens (Promoteur), Michael Petit (Jury), J. ATLEE (Jury), Joel Greenyer (Jury) & Axel Legay (Jury) |
Model checking for the Masses
Student thesis: Doc types › Docteur en Sciences