Combining behavioural types with security analysis

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)
Original languageEnglish
Pages (from-to)763-780
Number of pages18
JournalThe Journal of Logical and Algebraic Methods in Programming
Volume84
Issue number6
DOIs
Publication statusPublished - Nov-2015

Cite this