Date of Award | 2006 |
---|---|
Original language | English |
Supervisor | Pierre Yves Schobbens (Supervisor) |
Application à la méthode B d'éléments de logique temporelle ATL
Student thesis: Master types › Master in Computer science