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

Mordvinov, D. A.

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