Методы структурной верификации в конструкторских задачах автоматизированного проектирования МЭУЧура, Егор Иванович199620 с.