Data di Pubblicazione:
2019
Tipologia CRIS:
Articolo in Volume
Elenco autori:
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Link alla scheda completa:
Titolo del libro:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Pubblicato in: