РИХАЛЬСЬКИЙ, О. Ю. МЕТОДИ ПІДВИЩЕННЯ КОРЕКТНОСТІ ТА БЕЗПЕЧНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ: СУЧАСНИЙ ФУНКЦІОНАЛ КОМПІЛЯТОРІВ ТА ІНШІ ПІДХОДИ. Таврійський науковий вісник. Серія: Технічні науки, [S. l.], n. 2, p. 155-170, 2025. Disponível em: http://journals.ksauniv.ks.ua/index.php/tech/article/view/881. Acesso em: 5 лип. 2025.