Genovese, Gabriele (2023) ChorEr: un analizzatore statico per generare Automi Coreografici da codice sorgente Erlang. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]