Up a level |
Yew, Kok Meng and Rahman, Mohammad Zahidur and Lee, Sai Peck (2000) Object-oriented approach to specify secret sharing protocol in security critical system using formal method. Malaysian Journal of Computer Science, 13 (1). pp. 76-83. ISSN 0127-9084,
Yew, Kok Meng and Bulbul, Helena and Yaacob, Mashkuri (2000) Towards formalizing OO models: A case study. Malaysian Journal of Computer Science, 13 (1). pp. 12-16. ISSN 0127-9084,