TY  - RPRT
TI  - Combining behavioural types with security analysis
AU  - Massimo Bartoletti
AU  - Ilaria Castellani
AU  - Pierre-Malo Deniélou
AU  - Mariangiola Dezani-Ciancaglini
AU  - Silvia Ghilezan
AU  - Jovanka Pantovic
AU  - Jorge A. Pérez
AU  - Peter Thiemann
AU  - Bernardo Toninho
AU  - Hugo Torres Vieira
PY  - 2015
DO  - 10.1016/j.jlamp.2015.09.003
UR  - https://arxiv.org/abs/1510.02229
ID  - 1510.02229
ER  -