| Date of Award | 31 Dec 2008 |
|---|---|
| Original language | English |
| Supervisor | B.J. (Jeroen) Arnoldus (Supervisor 1), H.P.J. van Geldrop - van Eijk (Supervisor 2), Mark G.J. van den Brand (Supervisor 2) & Ruurd Kuiper (Supervisor 2) |
A relational approach to static semantic checking
Student thesis: Master