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