M, Munirah; ALWI, Aslan; PULUNGAN, Reza M.I. Survey Metode Formal dalam Verifikasi dan Validasi. JUITA: Jurnal Informatika, [S. l.], v. 4, n. 1, p. 1–11, 2016. DOI: 10.30595/juita.v4i1.1181. Disponível em: http://jurnalnasional.ump.ac.id/index.php/JUITA/article/view/1181. Acesso em: 8 jul. 2026.