Rohidah Maskuri <br/><br/>
Penggunaan spesifikasi formal sebagai alat pentahkikan perisian / 
Rohidah bt Maskuri 
 - Bangi :  Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia,  1999 
 - xiii, 146 p. ;  31 cm. 
<br/><br/>Tesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999 
<br/><br/>Rujukan: p. 111-112 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prototypes, Engineering<br/>Computer programs--Verification