Nadia Polikarpova Steve A. Schneider Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings IFM Springer 2017 Lecture Notes in Computer Science 10510 978-3-319-66844-4 978-3-319-66845-1 https://doi.org/10.1007/978-3-319-66845-1 db/conf/ifm/ifm2017.html