Datum prijs | 31 dec. 2008 |
---|---|
Originele taal | Engels |
Begeleider | B.J. (Jeroen) Arnoldus (Afstudeerdocent 1), H.P.J. van Geldrop - van Eijk (Afstudeerdocent 2), Mark G.J. van den Brand (Afstudeerdocent 2) & Ruurd Kuiper (Afstudeerdocent 2) |
A relational approach to static semantic checking
Scriptie/Masterproef: Master