Il laboratorio promuove la ricerca su Blockchain e sulle Nuove Tecnologia e il relativo trasferimento tecnologico.
Pubblicato il: 09 gennaio 2019
Tesi di laurea + tirocinio.
Pubblicato il: 24 gennaio 2018
Tesi di laurea triennale + tirocinio formativo
Pubblicato il: 24 gennaio 2018
Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez: Time Analysis of Actor Programs, March 2018 (with Michael Lienhardt, Ka I Pun, Guillermo Román-Díez)
Cosimo Laneve:A lightweight deadlock analysis for programs with threads and reentrant locks, January 2018. The extended ...
Pubblicato il: 24 gennaio 2018
