00746naa#a2200217#i#4500001001500000005001700015011001400032100004100046101000800087102000700095200008200102210006100184215001000245608002700255675015200282700002000434700002400454700001700478700001700495856001600512EN\\bibl\7818620260220022558.5##a1819-4036##a20140425b2014####ek#y0engy0150####ca0#aRUS##aRU1#aFORMAL VERIFICATION IN VERY LARGE-SCALE INTEGRATIONDESIGNINGeJournal article1#aKrasnoyarskcKrasnoyarsk State Agrarian Universityd2014##a2 с.##aJournal article2local##aОбнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42zRUS#1aTitovskayagT S#1aNepomnyashchiygO V#1aLeonovagA V#1aKomarovgA A4#asej.kgau.ru