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