Livoroi, Arsal-Hanif (2026) Un Framework Event-Sourced per AutoML tracciabile basato su riscrittura di Bigrafi: progettazione, implementazione e proprietà formali. [Laurea magistrale], Università di Bologna, Corso di Studio in Ingegneria informatica [LM-DM270]