Integrated formal methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings - Polikarpova, Nadia 1985-; Schneider, Steve (Lecture Notes in Computer Science, 2017)