دانلود کتاب Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 69, Proceedings