Модели и методы автоматической проверки решений задач: научный доклад: направление подготовки 09.06.01 «Информатика и вычислительная техника» ; направленность 09.06.01_09 «Математическое моделирование, численные методы и комплексы программ» = Models and methods of automatic verification of task solutions
