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

Vasenina, A. I.

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