00968naa#a2200217#i#450# RU\\bibl\78186 20260315072421.7 1819-4036 20140425b2014####ek#y0rusy0150####ca RUS RU Формальная верификация при проектировании сверхбольших интегральных схем Журнальная статья Красноярск Красноярский государственный аграрный университет 2014 2 с. Журнальная статья local Обнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42 RUS Титовская Т С Непомнящий О В Леонова А В Комаров А А kgau.editorum.ru