Ragazzini, Davide (2024) Logic HADA: uno strumento per hardware dimensioning con regole logiche. [Laurea magistrale], Università di Bologna, Corso di Studio in Ingegneria informatica [LM-DM270], Documento full-text non disponibile