%0 Journal Article
%A M. S. Kropacheva
%A A. I. Legalov
%T Formal Verification of Programs in Functional Dataflow Parallel Language
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 81-99
%V 19
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a8/
%G ru
%F MAIS_2012_19_5_a8