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