RUS
ENG
Full version
PEOPLE
Chernova Natalya Andreevna
Publications in Math-Net.Ru
An automated framework for testing source code static analysis tools
Proceedings of ISP RAS
,
33
:3 (2021),
41–50
©
Steklov Math. Inst. of RAS
, 2024
