RUS
ENG
Full version
PEOPLE
Glukhikh Mikhail Igorevich
Publications in Math-Net.Ru
The use of dependencies for improving the precision of program static analysis
Model. Anal. Inform. Sist.
,
18
:4 (2011),
68–79
©
Steklov Math. Inst. of RAS
, 2024
