RUS
ENG
Full version
PEOPLE
Churkin Yan Andreevich
Publications in Math-Net.Ru
Checking programs for compliance with MISRA C standard using the clang framework
Proceedings of ISP RAS
,
35
:5 (2023),
169–192
©
Steklov Math. Inst. of RAS
, 2024