TY  JOUR
TI  FORMAL VERIFICATION IN VERY LARGE-SCALE INTEGRATIONDESIGNING
KW  verification
KW  very large-scale integration (VLSI)
KW  functional programming
KW  parallel computing
JO  Bulletin of KSAU
AU  Titovskaya, T.S.
AU  Nepomnyashchiy, O.V.
AU  Leonova, A.V.
AU  Komarov, A.A.
PY  2014
IS  
PB  Krasnoyarsk State Agrarian University