Sandro Massaro. Il ruolo del Model Checking per il BIM = The role of Model Checking for BIM. Rel. Anna Osello, Matteo Del Giudice. Politecnico di Torino, Corso di laurea magistrale in Architettura Per Il Progetto Sostenibile, 2021