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

VENUE

Cavallerizza Reale (main entrance)
Via Verdi 9,
10124 Torino