👤 Юрий Кораблин

Система автоматического поиска инварианта цикла. Проблема, анализ и реализация. Андрей Шипов