Formal methods of software verification: modern approaches and challenges. Інформатика. Культура. Техніка, [S. l.], v. 2, p. 48–53, 2025. DOI: 10.15276/ict.02.2025.06. Disponível em: http://ict.op.edu.ua/index.php/journal/article/view/10. Acesso em: 4 mar. 2026.