Larisa Safina Russian Federation, Innopolis Affiliation & position Innopolis University — junior researcher E-mail l.safina@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
