RUS
ENG
Full version
PEOPLE
Panova Sophia Maksimovna
Publications in Math-Net.Ru
Application of SVAN static analysis tool on open RTL benchmarks
Proceedings of ISP RAS
,
37
:5 (2025),
131–142
©
Steklov Math. Inst. of RAS
, 2025
