RUS
ENG
Full version
PEOPLE
Goremykin Alexey Vyacheslavovich
Publications in Math-Net.Ru
Searching for tainted vulnerabilities in static analysis tool Svace
Proceedings of ISP RAS
,
33
:1 (2021),
7–32
©
Steklov Math. Inst. of RAS
, 2024