Combining behavioural types with security analysis / Massimo, B., Ilaria, C., Pierre-Malo, D., Mariangiola, D., Silvia, G., Jovanka, P., Jorge A., P., Peter, T., Bernardo, T., 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.
