Afleiden en bewijzen van functionele programma's

  • R.W.J.M. Robinson

Student thesis: Master

Date of Award31 Aug 1986
Original languageDutch
SupervisorM. Rem (Supervisor 1), K.M. van Hee (Supervisor 2) & P.J.H.M. Boots (Supervisor 2)

Cite this

'