Prosiding Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal dalam Pembangunan Perisian, 8 November 2001, Universiti Kebangsaan Malaysia
57
| Main Author: | |
|---|---|
| Format: | |
| Language: | may |
| Published: |
Bangi : Universiti Kebangsaan Malaysia,
2003
|
| Subjects: |