Формальні методи верифікації програмного забезпечення: сучасні підходи та виклики. ICT [інтернет]. 05, Листопад 2025 [цит. за 20, Листопад 2025];2:48–53. доступний у: https://ict.op.edu.ua/index.php/journal/article/view/10