1. Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. (2019) Editors: Finkbeiner, Bernd; Mariani, Leonardo Other Names: RV (Conference), 19th Record Type: Book Extent: 1 online resource (x, 413 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗