Рихальський, О. Ю. (2025) «МЕТОДИ ПІДВИЩЕННЯ КОРЕКТНОСТІ ТА БЕЗПЕЧНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ: СУЧАСНИЙ ФУНКЦІОНАЛ КОМПІЛЯТОРІВ ТА ІНШІ ПІДХОДИ», Таврійський науковий вісник. Серія: Технічні науки, (2), с. 155-170. доступний у: http://journals.ksauniv.ks.ua/index.php/tech/article/view/881 (дата звернення: 5Липень2025).