M, M., Alwi, A., & Pulungan, R. M. (2016). Survey Metode Formal dalam Verifikasi dan Validasi. JUITA: Jurnal Informatika, 4(1), 1–11. https://doi.org/10.30595/juita.v4i1.1181