TY  - BOOK
ED  - Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal dalam Pembangunan Perisian
ED  - Universiti Kebangsaan Malaysia.
TI  - Prosiding: Bengkel Malaysiana Spesifikasi dan Kaedah Formal dalam Pembangunan Perisian, 8 November 2001, di Kelab Rekreasi UKM, Bangi 
SN  - 9834129300
PY  - 2003///
CY  - Bangi
PB  - Universiti Kebangsaan Malaysia
KW  - Computer software
KW  - Congresses
KW  - Development
N1  - Koleksi Prof. Dato' Dr. Mohd Salleh Mohd. Yasin; Includes bibliographical refrences
ER  -