Prosiding :  Bengkel Malaysiana Spesifikasi dan Kaedah Formal dalam Pembangunan Perisian, 8 November 2001, di Kelab Rekreasi UKM, Bangi / 
[anjuran : Kumpulan Sains Pengaturcaraan, Fakulti Teknologi dan Sains Maklmat, Universiti Kebangsaan Malaysia ; penyunting : Zarina Shukur dan Abdullah Mohd. Zin] 
 - Bangi :  Universiti Kebangsaan Malaysia,  2003 
 - 91 p. :  ill. ;  25 cm. 
<br/><br/> Koleksi Prof. Dato' Dr. Mohd Salleh Mohd. Yasin 
<br/><br/>Includes bibliographical refrences 
<br/><br/><label>ISBN: </label>9834129300  hadiah 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Congresses<br/>Computer software--Development--Congresses