Teoria dei Modelli

Scaricare il compito omonimo da github.

I compiti possono essere svolti in coppia (diversa dalla precedente).

Caricare solo un documento per coppia.

Il nome della coautrice che non consegna va indicato nel campo commenti qui sotto.

Indicare il nome di tutti gli autori sul documento consegnato.