%0 Journal Article
%T Формальная верификация при проектировании сверхбольших интегральных схем
%A Титовская, Т.С.
%A Непомнящий, О.В.
%A Леонова, А.В.
%A Комаров, А.А.
%K верификация, сверхбольшие интегральные схемы (СБИС), функциональное программирование, параллельные вычисления
%J Вестник КрасГАУ
%D 2014
%N 
%P 2
%I Красноярский государственный аграрный университет