ISBN 9783031442667 books & textbook
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science)
Katsaros, Panagiotis Nenzi, Laura
Springer /2023-10-02 Paperback / 504 Pages
isbn-10: 3031442660 / isbn-13: 9783031442667
