%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