M, M.; Alwi, A.; Pulungan, R. M. Survey Metode Formal Dalam Verifikasi Dan Validasi. JUITA 2016, 4, 1-11.