Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal Dalam Pembangunan Perisian, 8 November 2001di Kelab Rekreasi UKM, Bangi :   prosiding 

 - Bangi, Selangor:  Kumpulan Sains Pengaturcaraan UKM,   2001 
 - 91 p.;   25 cm 
<br/><br/><label>ISBN: </label>9834129300 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Congresses<br/>Computer software--Development--Congresses