1 April 2019

• Riccardo Vergari. Linguaggio di Programmazione Visuale per il Model Checking e la Modellazione Parametrica in ambiente BIM. Il caso studio dell'Allianz Stadium = Visual Programming Language for Model Checking and Parametric Modelling in BIM environment. The case study of Allianz Stadium. Rel. Anna Osello, Kjartan Gudmundsson, Väino Tarandi, Andrea Barbero. Politecnico di Torino, Master of science program in Building Engineering, 2019