Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings - D'Souza, Deepak; Narayan Kumar, K. (Springer International Publishing : Imprint: Springer, 2017)