Informatica teorica e metodi formali

/opportunities/summer_schools/theoretical_computer_science/