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