M, Munirah, Aslan Alwi, and Reza M.I. Pulungan. “Survey Metode Formal Dalam Verifikasi Dan Validasi”. JUITA: Jurnal Informatika 4, no. 1 (November 3, 2016): 1–11. Accessed June 21, 2025. http://jurnalnasional.ump.ac.id/index.php/JUITA/article/view/1181.