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