Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings Ganty, Pierre Heftet / 2019 / Engelsk
Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers Ganty, Pierre Heftet / 2016 / Engelsk
