Verified design by contract
: case studies

  • H. Maassen

Student thesis: Master

Abstract

Date of Award31 Aug 2008
Original languageEnglish
SupervisorC. (Kees) Hemerik (Supervisor 1) & M.G.J. Franssen (Coach)

Cite this

'