Mattioli, Federico (2019) Testing a Random Number Generator: formal properties and automotive application. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270]