RUS
ENG
Full version
PEOPLE
Kovalev Daniil Yur'evich
Publications in Math-Net.Ru
Hoare logic for an imperative language considering some hardware limitations
Chebyshevskii Sb.
,
26
:3 (2025),
113–124
©
Steklov Math. Inst. of RAS
, 2026
