LDR 01020naa#a2200181#i#450#
001     RU\\bibl\106708
005     20251216165436.2
011 ## _a2413-2527
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# _aitt-pgups.ru
       _u