«ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ АВТОМАТИЧНОГО ВИЯВЛЕННЯ ПРОГРАМНИХ ПОМИЛОК НА ОСНОВІ ФОРМАЛІЗОВАНОЇ ПРОЄКЦІЇ ТРАЄКТОРІЙ ВИКОНАННЯ ТА ІНТЕГРАЦІЇ ЛОГІВ І МЕТРИК». Вісник Вінницького політехнічного інституту, no. 4 (Вересень 29, 2026): 67–82. дата звернення Листопад 15, 2026. https://vpi.sprava.net/index.php/visnyk/article/view/3571.