Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings Atig, Mohamed Faouzi Heftet / 2018 / Engelsk
