RUS
ENG
Full version
PEOPLE
Orlov Boris Viktorovich
Publications in Math-Net.Ru
Source code annotation for static analysis
Proceedings of ISP RAS
,
37
:6(1) (2025),
135–148
©
Steklov Math. Inst. of RAS
, 2025
