RUS
ENG
Full version
PEOPLE
Tievskiy Stanislav Dmitrievich
Publications in Math-Net.Ru
Methods for deductive verification of C code using AstraVer Toolset
Prikl. Diskr. Mat. Suppl.
, 2022, no. 15,
80–90
©
Steklov Math. Inst. of RAS
, 2024
