M, Munirah, et al. “Survey Metode Formal Dalam Verifikasi Dan Validasi”. JUITA: Jurnal Informatika, vol. 4, no. 1, Nov. 2016, pp. 1-11, doi:10.30595/juita.v4i1.1181.