RUS
ENG
Full version
PEOPLE
Vnukov Mihail Andreevich
Publications in Math-Net.Ru
Vulnerability analysis of program code by pattern techniques
Tr. SPIIRAN
,
7
(2008),
160–169
©
Steklov Math. Inst. of RAS
, 2024