TY  - SER
AU  - Жигулин,Максим Владимирович
AU  - Коломеец,Антон Владимирович
AU  - Евтушенко,Нина Владимировна
AU  - Прокопенко,Светлана Анатольевна
ED  - Томский государственный университет
ED  - Томский государственный университет
TI  - Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата
KW  - расширенные автоматы
KW  - диагностические тесты
KW  - статьи в журналах
N1  - Библиогр.: 7 назв
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000473318
ER  -