Stark's Rely/Guarantee formalisme intuitief verklaard, verfijnd en toegepast op [EWD703]

  • A.G. Cau

Student thesis: Master

Date of Award31 Oct 1989
Original languageDutch
SupervisorW.P. de Roever (Supervisor 1) & Ruurd Kuiper (Supervisor 2)

Cite this

'