TY  - GEN
AU  - Zarina Shukur.
AU  - Abdullah Mohd. Zin.
AU  - Abd. Malik Yusof.
TI  - Pembangunan sistem bagi menyokong aplikasi perkaedahan formal dalam kejuruteraan perisian
N1  - PTSL Koleksi Asia Tenggara (Jilid 1 : Pages 104 - 106)
ER  -