Datum prijs | 31 aug. 2006 |
---|---|
Originele taal | Engels |
Begeleider | K.M. van Hee (Afstudeerdocent 1) |
Analysis of well-formedness and soundness by reduction techniques and their implementation
Scriptie/Masterproef: Master