LDR 00726naa#a2200181#i#450#
001     EN\\bibl\106708
005     20251217003456.3
011 ## _a2413-2527
100 ## _a20251215b2025####ek#y0engy0150####ca
102 ## _aRU
200 1# _aFormal software verification using large language models
       _eJournal article
210 1# _aSaint-Petersburg
       _cFSBEI HE "Emperor Alexander I St. Petersburg State Transport University"
       _d2025
215 ## _a6 с.
608 ## _aJournal article
       _2local
675 ## _aОбнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42
       _z
700 #1 _aMel'nikov
       _gPavel Andreevich
700 #1 _aTyugashev
       _gAndrey Aleksandrovich
856 4# _aitt-pgups.ru
       _u