Date of Award | 31 Aug 2012 |
---|---|
Original language | English |
Supervisor | Ruurd Kuiper (Supervisor 1) & Joost M.A.M. Gabriels (Supervisor 2) |
Proving correctness of threaded parallel executable code generated from models described by a domain specific language
Student thesis: Master