TY  - JOUR
AU  - A. O. Kokorin
AU  - S. D. Tievskiy
AU  - P. N. Devyanin
TI  - Methods for deductive verification of C code using AstraVer Toolset
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2022
SP  - 80
EP  - 90
IS  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2022_15_a20/
LA  - ru
ID  - PDMA_2022_15_a20
ER  -