RUS  ENG
Full version
PEOPLE

Kitaev Konstantin Nikolaevich

Publications in Math-Net.Ru

  1. 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