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