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