ISBN 3031171950 books & textbook
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings (Lecture Notes in Computer Science)
Springer /2022-09-24 Paperback / 364 Pages
isbn-10: 3031171950 / isbn-13: 9783031171956