«Методологія перевірки програмного коду з підтримкою штучного інтелекту на основі моделі процесу». Інформатика. Культура. Техніка 3, no. 2 (4) (Жовтень 7, 2026): 553–566. дата звернення Жовтень 17, 2026. https://ict.od.ua/index.php/journal/article/view/177.