Automated Technology for Verification and Analysis: Proc./13th International Symposium, ATVA 2015, Shanghai, China, October 2015

Automated Technology for Verification and Analysis: Proc./13th International Symposium, ATVA 2015, Shanghai, China, October 2015Ed. by Finkbeiner B., Pu G., Zhang L..-Berlin.: Springer, 2015.-Vol. 9364.-520 p.-(Lecture Notes in Computer Science).