Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Polikarpova, Nadia; Schneider, Steve (Springer International Publishing : Imprint: Springer, 2017)