Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / edited by Bernd Finkbeiner, Leonardo Mariani.
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions. The RV conference is concerned with a...
Full description
Saved in: