Ищенко А.Д. Улучшение генерации условий корректности для Reflex программ с помощью простого статического анализа // № 25, 2024
