Runtime Verification
Subtitle: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
Publisher: Springer International Publishing AG
Published: 2020
Language: eng
ISBN-13: 9783030605070