TY  - BOOK
AU  - Rohidah Maskuri
TI  - Penggunaan spesifikasi formal sebagai alat pentahkikan perisian
PY  - 1999///
CY  - Bangi
PB  - Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia
KW  - Prototypes, Engineering
KW  - Computer programs
KW  - Verification
N1  - Tesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999; Rujukan: p. 111-112
ER  -