Afleiden en bewijzen van functionele programma's

  • R.W.J.M. Robinson

Student thesis: Master

Abstract

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

Cite this

Afleiden en bewijzen van functionele programma's
Robinson, R. W. J. M. (Author). 31 Aug 1986

Student thesis: Master