RUS
ENG
Full version
PEOPLE
Timonin Andrey Dmitrievich
Publications in Math-Net.Ru
TSAR: tool for static analyzers ranking
Proceedings of ISP RAS
,
37
:2 (2025),
79–96
©
Steklov Math. Inst. of RAS
, 2025
