Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Polikarpova, Nadia.; Schneider, Steve. (Programming and Software Engineering ;, 2017)