1. Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. (2017) Editors: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène, 1966- Other Names: VECoS (Conference), 11th Record Type: Book Extent: 1 online resource (xvi, 205 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗