RUS
ENG
Full version
PEOPLE
Muratov Aynur Fuatovich
Publications in Math-Net.Ru
Vulnerability detection methodology in software written in several programming languages
Proceedings of ISP RAS
,
37
:1 (2025),
121–132
©
Steklov Math. Inst. of RAS
, 2025
