LDR 01107naa#a2200169#i#450#
001     RU\FGBOU VO "PETERBURGSKIY GOSUDARSTVENNYY UNIVERSITET PUTEY SOOBSCHENIYA IMPERATORA ALEKSANDRA I"\bibl\6a84bd2094fbba14f786ff46
005     20260819203300.3
100 ## _a20251215b2025####ek#y0rusy0150####ca
102 ## _aRU
200 1# _aФормальная верификация программного обеспечения с помощью больших языковых моделей
       _eЖурнальная статья
210 1# _aСанкт-Петербург
       _cФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"
       _d2025
215 ## _a6 с.
608 ## _aЖурнальная статья
       _2local
675 ## _aОбнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42
       _z
700 #1 _aМельников
       _gПавел Андреевич
700 #1 _aТюгашев
       _gАндрей Александрович
856 4# _aatjournal.ru
       _u