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