Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings Chen, Yu-Fang Heftet / 2019 / Engelsk
