Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings - Dang, Thao; Stolz, Volker (Springer International Publishing AG, 2022)
Keywords: Computer Science; Computer software; Software Engineering/Programming and Operating Systems