Informacionnye tehnologii i vyčislitelnye sistemy, no. 1 (2005), pp. 49-67
Citer cet article
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/
@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},
year = {2005},
number = {1},
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
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
%U http://geodesic.mathdoc.fr/item/ITVS_2005_1_a5/
%G ru
%F ITVS_2005_1_a5
