Tamer Saadeh. Formal automatic trading in the cryptocurrency era. Rel. Paolo Garza, Luca Cagliero. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2019