%0 Journal Article
%A D. de Carvalho
%A M. Mazzara
%A B. Mingela
%A L. Safina
%A A. Tchitchigin
%A N. Troshkov
%T Jolie Static Type Checker: a prototype
%J Modelirovanie i analiz informacionnyh sistem
%D 2017
%P 704-717
%V 24
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a3/
%G en
%F MAIS_2017_24_6_a3