Writing formal and structured methods for the development of reliable software.
Contributors: Manchester Metropolitan University. Department of Computing and Mathematics.
Published: 1998
Language: eng
Notes: Typescript.

Thesis [Ph.D.] - Manchester Metropolitan University, Department of Computing and Mathematics, 1998.