TY  JOUR
TI  Формальная верификация при проектировании сверхбольших интегральных схем
KW  верификация
KW  сверхбольшие интегральные схемы (СБИС)
KW  функциональное программирование
KW  параллельные вычисления
JO  Вестник КрасГАУ
AU  Титовская, Т.С.
AU  Непомнящий, О.В.
AU  Леонова, А.В.
AU  Комаров, А.А.
PY  2014
IS  
PB  Красноярский государственный аграрный университет