Drie formele specificatiemethoden in vergelijking, t.w. Z, VDM en DES/EXSPECT

  • M.J. van Diepen

Student thesis: Master

Abstract

Date of Award31 May 1989
Original languageDutch
SupervisorKees M. van Hee (Supervisor 1) & M. Voorhoeve (Supervisor 2)

Cite this

'