Рихальський, О.Ю. 2025. МЕТОДИ ПІДВИЩЕННЯ КОРЕКТНОСТІ ТА БЕЗПЕЧНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ: СУЧАСНИЙ ФУНКЦІОНАЛ КОМПІЛЯТОРІВ ТА ІНШІ ПІДХОДИ. Таврійський науковий вісник. Серія: Технічні науки. 2 (Трав 2025), 155-170.