TY  - BOOK
AU  - Abdullah Mohd Zin
TI  - Development of system to support the application of formal methdology in software engineering
PY  - 2001///
CY  - Bangi, Selangor
PB  - Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia
KW  - Software Engineering
KW  - Computer Science
N1  - Laporan cuti sabatikal (1 Julai 2000 hingga 31 Mac 2001); Koleksi Laporan Penyelidikan UKM
ER  -