Информатика, вычислительная техника и управление. Диссертация Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация ... кандидата технических наук : 05.13.01 / Ермаков Антон Дмитриевич; [Место защиты: Нац. исслед. Том. гос. ун-т], Томск, 2016