https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000473318 Mon 18 Sep 2017 14:00:14 KRAT ]]>