Pendekatan Formalisasi Model Berorientasi Objek Dengan Model Formal: Satu Tinjauan. J. Teknol. [Internet]. 2012 Jan. 20 [cited 2025 Dec. 5];49(1):1–12. Available from: https://journals.utm.my/jurnalteknologi/article/view/193