Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings Colombo, Christian Heftet / 2018 / Engelsk
