«Формальні методи верифікації програмного забезпечення: сучасні підходи та виклики». Інформатика. Культура. Техніка 2 (Листопад 5, 2025): 48–53. дата звернення Квітень 28, 2026. https://ict.od.ua/index.php/journal/article/view/10.