LDR 00750naa#a2200217#i#450#
001     EN\\bibl\78186
005     20260219131826.4
011 ## _a1819-4036
100 ## _a20140425b2014####ek#y0engy0150####ca
101 0# _aRUS
102 ## _aRU
200 1# _aFORMAL VERIFICATION IN VERY LARGE-SCALE INTEGRATIONDESIGNING
       _eJournal article
210 1# _aKrasnoyarsk
       _cKrasnoyarsk State Agrarian University
       _d2014
215 ## _a2 с.
608 ## _aJournal article
       _2local
675 ## _aОбнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42
       _zRUS
700 #1 _aTitovskaya
       _gT S
700 #1 _aNepomnyashchiy
       _gO V
700 #1 _aLeonova
       _gA V
700 #1 _aKomarov
       _gA A
856 4# _avestnik.kgau.ru
       _u