M, Munirah, Aslan Alwi, and Reza M.I. Pulungan. 2016. “Survey Metode Formal Dalam Verifikasi Dan Validasi”. JUITA: Jurnal Informatika 4 (1):1-11. https://doi.org/10.30595/juita.v4i1.1181.