%0 Journal Article
%A V. S. Vasilyev
%A A. I. Legalov
%T Loop-invariant optimization in the Pifagor language
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 347-357
%V 25
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_4_a0/
%G ru
%F MAIS_2018_25_4_a0