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