Информация об авторе

Костюков, Ю. О.

Выпуск Раздел Название Файл
№ 4 (2025) АНАЛИЗ И ТРАНСФОРМАЦИЯ ПРОГРАММ Автоматический вывод синхронных регулярных инвариантов