Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings Ben Hedia, Belgacem Heftet / 2020 / Engelsk
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings Chen, Yu-Fang Heftet / 2019 / Engelsk