Автоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств Раков, Сергей Валентинович ВАК РФ 05.13.12 Стр. 1 из 16