51. Data flow analysis : theory and practice /: theory and practice. (©2009) Other Names: Khedker, Uday; Sanyal, Amitabha; Karkare, Bageshri Record Type: Book Extent: 1 online resource (xiii, 386 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. (2020) Other Names: Beek, Maurice H. ter; Ničković, Dejan; FMICS (Conference), 25th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. (2016) Editors: Creignou, Nadia; Le Berre, Daniel Other Names: SAT (Conference), 19th Record Type: Book Extent: 1 online resource (xxiv, 564 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. Theory and applications of satisfiability testing -- SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings /: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. (2020) Other Names: Pulina, Luca; Seidl, Martina; SAT (Conference), 23rd Record Type: Book Extent: 1 online resource (549 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. 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) ↗
56. Practical security properties on commodity computing platforms : the uber extensible micro-hypervisor framework /: the uber extensible micro-hypervisor framework. (2019) Authors: Vasudevan, Amit Record Type: Book Extent: 1 online resource (xix, 85 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Verification and validation of rule-based expert systems. (2018) Authors: Smith, Suzanne, 1953-; Kandel, Abraham Other Names: Taylor & Francis. Record Type: Book Extent: 1 online resource (203 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. Type systems for distributed programs : components and sessions /: components and sessions. (2016) Authors: Dardha, Ornela Record Type: Book Extent: 1 online resource (xxii, 192 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. Tools and algorithms for the construction and analysis of systems : 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, April 2-8, 2016. Proceedings /: 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, April 2-8, 2016. Proceedings. (2016) Editors: Chechik, Marsha; Raskin, Jean-François, 1972- Other Names: TACAS (Conference), 22nd; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. 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) ↗