LoginTesi di laurea con relatore o correlatore Lanese, Ivan, discusse nel 2020
![[su]](/style/images/multi_up.png)
Su di un livelloNumero di documenti: 3.
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]
Fabbretti, Giovanni (2020) Causal-Consistent Debugging of Distributed Erlang. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
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]
