Mohd. Zaki Ghazali <br/><br/>
Sistem untuk mentahkik spesifikasi formal Z / 
Mohd. Zaki bin Haji Ghazali 
 - Universiti Kebangsaan Malaysia, Bangi :  Fakulti Teknologi dan Sains Maklumat,  1996 
 - xiii, 188 p . :  ill . ;  30 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)