RUS
ENG
Full version
PEOPLE
Gladyshev Ilya Vladimirovich
Publications in Math-Net.Ru
Architecture of a machine code deductive verification system
Proceedings of ISP RAS
,
32
:3 (2020),
7–19
©
Steklov Math. Inst. of RAS
, 2026
