Corso di Analisi Statica e Verifica del Software (LM in Informatica, a.a. 11/12)