«Методологія перевірки програмного коду з підтримкою штучного інтелекту на основі моделі процесу», ICT, вип. 3, вип. 2 (4), с. 553–566, Жов 2026, doi: 10.15276/ict.03.2026.41.