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