出版社：University of Malaya * Faculty of Computer Science and Information Technology
摘要：This paper contains the analysis of the Z specification of a human resource information system. It aims to show the strength of the formal methods in analysing and detecting errors after the implementation phase.
