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