Thao Dang, "Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings "
English | ISBN: 3031171950 | 2022 | 364 pages | PDF | 15 MB
English | ISBN: 3031171950 | 2022 | 364 pages | PDF | 15 MB