TY  - JOUR
AU  - A. O. Zhukovskaya
AU  - D. A. Stefantsov
TI  - Development of automated means for proving programs properties
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2014
SP  - 148
EP  - 150
IS  - 7
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2014_7_a63/
LA  - ru
ID  - PDMA_2014_7_a63
ER  -