Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings - Ábrahám, Erika (Herausgeber); Abbas, Houssam (Herausgeber) (Lecture Notes in Computer Science, 2025)