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