Thao Dang (editor)

Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings (Lecture Notes in Computer Science)

2022 · ENGLISH · PDF

View details →