TY  - BOOK
AU  - Loh Kah Heng @ Low Kah Heng
TI  - Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prolog
PY  - 1997///
CY  - Bangi
PB  - Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia
KW  - Prolog (Computer program language)
KW  - Logic programming
N1  - Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997; Rujukan: p. 125-127
ER  -