Rohidah Maskuri <br/><br/>
Penggunaan spesifikasi formal sebagai alat pentahkikan perisian  [microform] / 
Rohidah bt Maskuri 
 - Bangi :  Perpustakaan Tun Seri Lanang,  2004 
 - 1 microfilm reel ;  35 mm. 
<br/><br/>Tesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prototypes, Engineering<br/>Computer programs--Verification