Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings - Lahiri, Shuvendu K.; Lahiri, Shuvendu K.; Wang, Chao; Wang, Chao (Springer International Publishing : Imprint: Springer, 2018)