Mengukur kesahsahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol - Ahmad Rizal Mohd. Yusof (Bangi : Fakulti Teknologi Sains Maklumat, Universiti Kebangsaan Malaysia, 2003)
Tesis ini disertakan dengan satu CD yang mempunyai nombor panggilan yang sama dan di tempatkan di Bahagian Perkhidmatan Maklumat
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2003
Rujukan : p. 98-102
Keywords: Universiti Kebangsaan Malaysia -- Dissertations; Object-oriented programming (Computer science); Z (Computer program language); Dissertations, Academic -- Malaysia