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

OnderzoeksoutputAcademicpeer review

11 Citaten (Scopus)
Originele taal-2English
Pagina's (van-tot)763-780
Aantal pagina's18
TijdschriftThe Journal of Logical and Algebraic Methods in Programming
Volume84
Nummer van het tijdschrift6
DOI's
StatusPublished - nov-2015

Citeer dit