| la date de réponse | 2006 |
|---|---|
| langue originale | Anglais |
| Superviseur | Pierre Yves Schobbens (Promoteur) |
Application à la méthode B d'éléments de logique temporelle ATL
Student thesis: Master types › Master en sciences informatiques