Верификация проектов аппаратных средств ЭВМ на основе параллельных описаний Горянкин, Андрей Владимирович ВАК РФ 05.13.13 Стр. 1 из 18