Runtime Verification 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Book title Buchtitel
Runtime Verification 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
12399
DOI
10.1007/978-3-030-60508-7
Series Schriftenreihe
Lecture Notes in Computer Science