Mohd. Zaki Ghazali <br/><br/>
Sistem untuk mentahkik spesifikasi formal Z  [microform] / 
Mohd. Zaki bin Haji Ghazali 
 - Bangi :  Perpustakaan Tun Seri Lanang,  1997 
 - 4 microfisches ;  11 x 15 cm. 
<br/><br/>Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996 
<br/><br/>p. 127-128 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification<br/>Z (Computer program language)