RUS
ENG
Full version
PEOPLE
Zaborovsky Nikita Vladimirovich
Publications in Math-Net.Ru
The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms
Model. Anal. Inform. Sist.
,
20
:2 (2013),
166–177
©
Steklov Math. Inst. of RAS
, 2024
