Case studies in calculational program design

Research output: Thesis › EngD Thesis

Original language	English
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