TY  - BOOK
AU  - Mohd. Zaki Ghazali
TI  - Sistem untuk mentahkik spesifikasi formal Z
PY  - 1996///
CY  - Universiti Kebangsaan Malaysia, Bangi
PB  - Fakulti Teknologi dan Sains Maklumat
KW  - Computer software
KW  - Verification
KW  - Z (Computer program language)
N1  - Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996; p. 127-128
ER  -