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

Мордвинов, Д. А.

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