Для цитирования:
БУЧАЦКИЙ Р.А., ЧУРКИН Я.А., ЧИБИСОВ К.А., ПАНТИЛИМОНОВ М.В., ДОЛГОДВОРОВ Е.В., ВЯЗОВЦЕВ А.В., ВОЛОХОВ А.Г., ТРУНОВ В.В., МИРАКЯН Г.О., КИТАЕВ К.Н., БЕЛЕВАНЦЕВ А.А. Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang. Труды Института системного программирования РАН. 2023;35(5):169-192. https://doi.org/10.15514/ISPRAS-2022-35(5)-12
For citation:
BUCHATSKIY R.A., CHURKIN Ya.A., CHIBISOV K.A., PANTILIMONOV M.V., DOLGODVOROV E.V., VYAZOVTSEV A.V., VOLOKHOV A.G., TRUNOV V.V., MIRAKYAN G.H., KITAEV K.N., BELEVANTSEV A.A. Checking Programs for Compliance with MISRA C Standard Using the Clang Framework. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2023;35(5):169-192. (In Russ.) https://doi.org/10.15514/ISPRAS-2022-35(5)-12
Послать статью по эл. почте 