Prosiding : Bengkel Malaysiana Spesifikasi dan Kaedah Formal dalam Pembangunan Perisian, 8 November 2001, di Kelab Rekreasi UKM, Bangi - Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal dalam Pembangunan Perisian (2001: Bangi, Selangor); Universiti Kebangsaan Malaysia. Fakulti Teknologi dan Sains Maklumat (Bangi : Universiti Kebangsaan Malaysia, 2003)
Koleksi Prof. Dato' Dr. Mohd Salleh Mohd. Yasin
Includes bibliographical refrences
Koleksi Sumbangan : Zainal Abidin Abdul Wahid.
Keywords: Computer software -- Congresses; Computer software -- Development -- Congresses