Geodesic
Математическая модель и методы верификации программных систем
Informacionnye tehnologii i vyčislitelnye sistemy, no. 1 (2005), pp. 49-67.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{ITVS_2005_1_a5,
     author = {A. M. Mironov and D. Yu. Zhukov},
     title = {{\CYRM}{\cyra}{\cyrt}{\cyre}{\cyrm}{\cyra}{\cyrt}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyra}{\cyrya} {\cyrm}{\cyro}{\cyrd}{\cyre}{\cyrl}{\cyrsftsn} {\cyri} {\cyrm}{\cyre}{\cyrt}{\cyro}{\cyrd}{\cyrery} {\cyrv}{\cyre}{\cyrr}{\cyri}{\cyrf}{\cyri}{\cyrk}{\cyra}{\cyrc}{\cyri}{\cyri} {\cyrp}{\cyrr}{\cyro}{\cyrg}{\cyrr}{\cyra}{\cyrm}{\cyrm}{\cyrn}{\cyrery}{\cyrh} {\cyrs}{\cyri}{\cyrs}{\cyrt}{\cyre}{\cyrm}},
     journal = {Informacionnye tehnologii i vy\v{c}islitelnye sistemy},
     pages = {49--67},
     publisher = {mathdoc},
     number = {1},
     year = {2005},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ITVS_2005_1_a5/}
}
TY  - JOUR
AU  - A. M. Mironov
AU  - D. Yu. Zhukov
TI  - Математическая модель и методы верификации программных систем
JO  - Informacionnye tehnologii i vyčislitelnye sistemy
PY  - 2005
SP  - 49
EP  - 67
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ITVS_2005_1_a5/
LA  - ru
ID  - ITVS_2005_1_a5
ER  - 
%0 Journal Article
%A A. M. Mironov
%A D. Yu. Zhukov
%T Математическая модель и методы верификации программных систем
%J Informacionnye tehnologii i vyčislitelnye sistemy
%D 2005
%P 49-67
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ITVS_2005_1_a5/
%G ru
%F ITVS_2005_1_a5
A. M. Mironov; D. Yu. Zhukov. Математическая модель и методы верификации программных систем. Informacionnye tehnologii i vyčislitelnye sistemy, no. 1 (2005), pp. 49-67. http://geodesic.mathdoc.fr/item/ITVS_2005_1_a5/