1. Verification and evaluation of computer and communication systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings. (2019) Editors: Ganty, Pierre; Kaâniche, Mohamed Other Names: VECoS (Conference), 13th Record Type: Book Extent: 1 online resource (xiii, 111 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗