К синтезу проверяющих тестов для мутационного автомата
Опубликовано в: : | Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участием С. 51 |
---|---|
Главный автор: | |
Формат: | Статья в сборнике |
Язык: | Russian |
Предметы: | |
Online-ссылка: | Перейти в каталог НБ ТГУ |