TY  - BOOK
AU  - Loh Kah Heng @ Low Kah Heng
TI  - Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prologr
PY  - 2004///
CY  - Bangi
PB  - Perpustakaan Tun Seri Lanang
KW  - Prolog (Computer program language)
KW  - Logic programming
N1  - Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997
ER  -