Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings - Katsaros, Panagiotis (Herausgeber); Nenzi, Laura (Herausgeber) (Lecture Notes in Computer Science, 2023)