LoginTesi di laurea con relatore o correlatore Lanese, Ivan, discusse nel 2020
|
Su di un livello |
Numero di documenti: 3.
D
Di Pasquale, Vairo (2020) Verifica di Well-Formedness in un Tool per Choreography Automata. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
F
Fabbretti, Giovanni (2020) Causal-Consistent Debugging of Distributed Erlang. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
T
Tabanelli, Luca (2020) Debugging reversibile di Erlang: Gestione dei costrutti per l’error-handling. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
