13th International Conference on integrated Formal Methods (iFM 2017)

University of Torino historical building

Via Verdi 8, Torino
First floor