RUS
ENG
Full version
PEOPLE
Romanenkov Egor Sergeevitch
Publications in Math-Net.Ru
Modeling of library functions in an industrial static code analyzer
Proceedings of ISP RAS
,
32
:3 (2020),
21–31
©
Steklov Math. Inst. of RAS
, 2026
