| Date of Award | 31 Aug 1993 |
|---|---|
| Original language | English |
| Supervisor | C.J. Koomen (Supervisor 1) |
Verification of protocol implementations by means of test generation from specifications
Student thesis: Master