%0 Journal Article
%T FORMAL VERIFICATION IN VERY LARGE-SCALE INTEGRATIONDESIGNING
%A Titovskaya, T.S.
%A Nepomnyashchiy, O.V.
%A Leonova, A.V.
%A Komarov, A.A.
%K verification, very large-scale integration (VLSI), functional programming, parallel computing
%J Bulletin of KSAU
%D 2014
%N 
%P 2
%I Krasnoyarsk State Agrarian University