Daniel de Carvalho Russian Federation, Innopolis Affiliation & position Innopolis University — researcher E-mail d.carvalho@innopolis.ru
de Carvalho D., Mazzara M., Mingela B., Safina L., Troshkov N., Tchitchigin A. Towards Static Type-checking for Jolie // System Informatics. — 2017. — # 10. — P. 77-88