RUS
ENG
Full version
PEOPLE
Kokorin Artem Olegovich
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
