Date of Award | 22 Jun 2016 |
---|---|
Original language | French |
Awarding Institution |
|
Supervisor | Jean-Marie Jacquet (Supervisor) |
Implémentation d’un interpréteur pour l’algèbre de processus µCRL2
Student thesis: Master types › Master in Computer science