@ARTICLE{
author={Bartoletti Massimo,Castellani Ilaria,Denielou Pierre-Malo,Dezani-Ciancaglini Mariangiola,Ghilezan Silvia,Pantovic Jovanka B,Perez Jorge A,Thiemann Peter,Toninho Bernardo,Vieira Hugo Torres},
year={2015},
title={Combining behavioural types with security analysis},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={84},
number={6},
pages={763-780},
document_type={Article},
}