61. 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) ↗
62. Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. (2016) Editors: Jobstmann, Barbara; Leino, K. Rustan M Other Names: VMCAI (Conference), 17th Record Type: Book Extent: 1 online resource (xiii, 558 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Monniaux, David Other Names: VMCAI (Conference), 18th Record Type: Book Extent: 1 online resource (xvii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings /: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings. (2019) Editors: Enea, Constantin; Piskac, Ruzica Other Names: VMCAI (Conference), 20th Record Type: Book Extent: 1 online resource (xvii, 602 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /: theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers. (2018) Editors: Piskac, Ruzica; Rümmer, Philipp Other Names: VSTTE (Conference), 10th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers /: theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers. (2020) Other Names: Chakraborty, Supratik; Navas, Jorge A; VSTTE (Conference), 11th Record Type: Book Extent: 1 online resource (208 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2016) Editors: Blazy, Sandrine; Chechik, Marsha Other Names: VSTTE (Conference), 8th Record Type: Book Extent: 1 online resource (xiv, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers. (2017) Editors: Paskevich, Andrei; Wies, Thomas Other Names: VSTTE (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗