RUS
ENG
Full version
PEOPLE
Merkulov Alexey Pavlovich
Publications in Math-Net.Ru
Supporting Java programming in the Svace static analyzer
Proceedings of ISP RAS
,
29
:3 (2017),
57–74
©
Steklov Math. Inst. of RAS
, 2024
