Grazia, Carlo Augusto (2012) Analisi statica dei Deadlock in Featherweight Java con Futuri. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]