Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings Lahiri, Shuvendu Heftet / 2017 / Engelsk
Frontiers of Combining Systems 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings Konev Boris Heftet / 2021 / Engelsk
