TY  - BOOK
AU  - Ермаков,Антон Дмитриевич
ED  - Томский государственный университет
TI  - Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации: автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
PY  - 2017///
CY  - Томск
PB  - [б. и.]
KW  - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
KW  - nsnr
KW  - авторефераты диссертаций
N1  - Библиогр.: с. 19-20 и в подстроч. примеч
ER  -