%0 Journal Article
%A A. N. Makarov
%T Method for automated program errors search in complex data processing algorithms
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 117-127
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_3_a13/
%G ru
%F PDM_2009_3_a13