TY  - BOOK
AU  - Rohidah Maskuri
TI  - Penggunaan spesifikasi formal sebagai alat pentahkikan perisian
PY  - 2004///
CY  - Bangi
PB  - Perpustakaan Tun Seri Lanang
KW  - Prototypes, Engineering
KW  - Computer programs
KW  - Verification
N1  - Tesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999
ER  -