Login

Publication

Detail

Publication date: 17/10/2015

Combining behavioural types with security analysis

Authors

Massimo Bartoletti, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira,
URL https://www.sciencedirect.com/science/article/pii/S2352220815000851?via%3Dihub
Journal Journal of Logical and Algebraic Methods in Programming
Publisher Universitat Politècnica de Catalunya
URL https://www.sciencedirect.com/science/article/pii/S2352220815000851?via%3Dihub
Journal Journal of Logical and Algebraic Methods in Programming
Publisher Universitat Politècnica de Catalunya