RUS  ENG
Full version
PEOPLE

Belov Nikita Andreyevich

Publications in Math-Net.Ru

  1. Automatic uninitialized value usage detection during full-system emulation

    Proceedings of ISP RAS, 28:5 (2016),  11–26

© Steklov Math. Inst. of RAS, 2026