@article{De_Carvalho_2017,<br/><span class="tab"></span> title={Jolie Static Type Checker: a Prototype},<br/><span class="tab"></span> volume={24},<br/><span class="tab"></span> ISSN={1818-1015},<br/><span class="tab"></span> url={http://dx.doi.org/10.18255/1818-1015-2017-6-704-717},<br/><span class="tab"></span> DOI={10.18255/1818-1015-2017-6-704-717},<br/><span class="tab"></span> number={6},<br/><span class="tab"></span> journal={Modeling and Analysis of Information Systems},<br/><span class="tab"></span> publisher={P.G. Demidov Yaroslavl State University},<br/><span class="tab"></span> author={De Carvalho,<br/><span class="tab"></span> Daniel and Mazzara,<br/><span class="tab"></span> Manuel and Mingela,<br/><span class="tab"></span> Bogdan and Safina,<br/><span class="tab"></span> Larisa and Tchitchigin,<br/><span class="tab"></span> Alexander and Troshkov,<br/><span class="tab"></span> Nikolay},<br/><span class="tab"></span> year={2017},<br/><span class="tab"></span> month=jan,<br/><span class="tab"></span> pages={704–717} }