Teoria dei Modelli

Scaricare il compito omonimo da [github](https://github.com/domenicozambella/teaching/tree/master/TdM18). Rinominarlo Nome.Cognome.n.v.pdf dove n è il numero del compito v il numero della versione.