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