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