Formal software development using Z and the refinement calculus

Thesis (M.Sc.)--Memorial University of Newfoundland, 1994. Computer Science Bibliography: leaves 163-166. In process

Bibliographic Details
Main Author:	Wee, Dennis Ju-Xieng, 1967-
Other Authors:	Memorial University of Newfoundland. Dept. of Computer Science
Format:	Thesis
Language:	English
Published:	1993
Subjects:	Z (Computer program language) Computer software > Development Newfoundland studies University of Newfoundland
Online Access:	http://collections.mun.ca/cdm/ref/collection/theses2/id/184050

Description
Summary:	Thesis (M.Sc.)--Memorial University of Newfoundland, 1994. Computer Science Bibliography: leaves 163-166. In process

Similar Items