Date of Award | 29 Aug 2014 |
---|---|
Original language | English |
Awarding Institution |
|
Supervisor | Wim Vanhoof (Supervisor) |
Program analysis for concurrent programming: consistency verification of STM Haskell programs using Moth
Student thesis: Master types › Master in Computer science