Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Finkbeiner Bernd Heftet / 2015 / Engelsk
