%0 Journal Article
%A M. S. Ushakova
%A A. I. Legalov
%T A toolkit for supporting formal verification of programs in the functional data-flow parallel programming language
%J Vestnik Ûžno-Uralʹskogo gosudarstvennogo universiteta. Seriâ Vyčislitelʹnaâ matematika i informatika
%D 2015
%P 58-70
%V 4
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VYURV_2015_4_2_a4/
%G ru
%F VYURV_2015_4_2_a4