(Data) refinement calculus met stack voorbeelden

  • H.M.A. Andree

Student thesis: Master

Abstract

Date of Award31 Oct 1990
Original languageDutch
SupervisorA. Kaldewaij (Supervisor 1) & Jaap C.S.P. van der Woude (Supervisor 2)

Cite this

(Data) refinement calculus met stack voorbeelden
Andree, H. M. A. (Author). 31 Oct 1990

Student thesis: Master