TY  - BOOK
AU  - Sullabi,Mohamed Ahmed
TI  - Collaborative model for preparing formal software specification document
PY  - 2008///
KW  - Universiti Kebangsaan Malaysia
KW  - Dissertations
KW  - Dissertations, Academic
KW  - Malaysia
KW  - Computer software
KW  - Development
KW  - Formal methods (Computer science)
N1  - Thesis (Ph.D) - Universiti Kebangsaan Malaysia, 2008; References : p. [155]-175
ER  -