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