Roncuzzi, Davide (2021) Debugging reversibile di un frammento del linguaggio C. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]