Abstract
| Date of Award | 31 Oct 1990 |
|---|---|
| Original language | Dutch |
| Supervisor | A. Kaldewaij (Supervisor 1) & Jaap C.S.P. van der Woude (Supervisor 2) |
(Data) refinement calculus met stack voorbeelden
Student thesis: Master