M M, Alwi A, Pulungan RM. Survey Metode Formal dalam Verifikasi dan Validasi. JUITA [Internet]. 2016 Nov. 3 [cited 2025 Jun. 21];4(1):1-11. Available from: http://jurnalnasional.ump.ac.id/index.php/JUITA/article/view/1181