Specification and programming
Subtitle: experimenting with the refinement calculus
By: Kevin Hely.
Contributors: University College Dublin. Department of Computer Science.
Publisher: University College Dublin
Published: 1998
Place of publication: Dublin
Language: eng
Number of pages: 163
Subjects: Computer programming.; Calculus -- Computer programs.
Notes: Thesis submitted to the Department of Computer Science.

Thesis (M.Sc.) - University College Dublin, 1998.