Abstract
| Date of Award | 31 Aug 1986 |
|---|---|
| Original language | Dutch |
| Supervisor | M. Rem (Supervisor 1), K.M. van Hee (Supervisor 2) & P.J.H.M. Boots (Supervisor 2) |
Afleiden en bewijzen van functionele programma's
Student thesis: Master