Francesco Santoro. Validation and Verification of Infrastructure as Code. Rel. Fulvio Valenza, Guido Marchetto, David Palma. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024