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