| Datum prijs | 31 aug. 1993 |
|---|---|
| Originele taal | Engels |
| Begeleider | C.J. Koomen (Afstudeerdocent 1) |
Verification of protocol implementations by means of test generation from specifications
Scriptie/Masterproef: Master