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; MENDES TORRES VIEIRA, H. - In: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. - ISSN 2352-2208. - 84:6(2015), pp. 763-780. [10.1016/j.jlamp.2015.09.003]
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
