TY  - BOOK
ED  - Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal Dalam Pembangunan Perisian
ED  - Universiti Kebangsaan Malaysia. Kumpulan Sains Pengaturcaraan
TI  - Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal Dalam Pembangunan Perisian, 8 November 2001di Kelab Rekreasi UKM, Bangi:  prosiding
SN  - 9834129300
PY  - 2001///
CY  - Bangi, Selangor
PB  - Kumpulan Sains Pengaturcaraan UKM
KW  - Computer software
KW  - Congresses
KW  - Development
ER  -