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 journalArticle

10 Citations (Scopus)

Fingerprint Dive into the research topics of 'Combining behavioural types with security analysis'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science