Case studies in calculational program design

J.P. Katoen, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Information and Communication Technology (ICT)

Research output: Thesis › EngD Thesis

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution
Supervisors/Advisors	Rem, Martin, Supervisor Hoogerwoord, Rob, Supervisor Stevens, M.P.J., Supervisor
Award date	1 Jan 1990
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Publication status	Published - 1990

Eindverslag.

Cite this

@phdthesis{2aa7b46669e94603b0ddf63cb1d66c2c,

title = "Case studies in calculational program design",

author = "J.P. Katoen and {Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Information and Communication Technology (ICT)}",

note = "Eindverslag.",

year = "1990",

language = "English",

publisher = "Technische Universiteit Eindhoven",

type = "EngD Thesis",

}