%0 Journal Article
%A В.О. Георгиев
%T Обзор по методам синтеза программ
%J Veroâtnostnye metody i kibernetika
%D 1990
%P 16-42
%V 24
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMK_1990__24_69278/
%G ru
%F VMK_1990__24_69278