Date of Award | 31 Oct 1989 |
---|---|
Original language | Dutch |
Supervisor | W.P. de Roever (Supervisor 1) & Ruurd Kuiper (Supervisor 2) |
Stark's Rely/Guarantee formalisme intuitief verklaard, verfijnd en toegepast op [EWD703]
Student thesis: Master