| la date de réponse | 29 août 2014 |
|---|---|
| langue originale | Anglais |
| L'institution diplômante |
|
| Superviseur | Wim Vanhoof (Promoteur) |
Program analysis for concurrent programming: consistency verification of STM Haskell programs using Moth
Student thesis: Master types › Master en sciences informatiques