%0 Journal Article
%A A. O. Kokorin
%A S. D. Tievskiy
%A P. N. Devyanin
%T Methods for deductive verification of C code using AstraVer Toolset
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2022
%P 80-90
%N 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2022_15_a20/
%G ru
%F PDMA_2022_15_a20