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 journalArticlepeer-review

12 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