1. Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /: 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings. ([2019]) Editors: Larsen, K. G (Kim G.), 1957-; Willemse, Tim Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 24th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. (2019) Editors: Biondi, Fabrizio; Given-Wilson, Thomas; Legay, Axel Other Names: International SPIN Workshop, 26th Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings. ([2019]) Editors: Zamani, Majid; Zufferey, Damien Other Names: NSV (Workshop), 12th Record Type: Book Extent: 1 online resource (xv, 145 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. 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) ↗
5. Tests and proofs : 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings /: 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. (2019) Editors: Beyer, Dirk, 1972-; Keller, Chantal Other Names: TAP (Conference), 13th Record Type: Book Extent: 1 online resource (x, 207 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Theory and applications of satisfiability testing -- SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings /: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings. (2019) Editors: Janota, Mikolá́š̌; Lynce, Inês Other Names: SAT (Conference), 22nd Record Type: Book Extent: 1 online resource (xiv, 425 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Tools and algorithms for the construction and analysis of systems : 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.: 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Part III (2019) Editors: Beyer, Dirk, 1972-; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard Other Names: TACAS (Conference), 25th; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xxvii, 258 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.: 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Part II (2019) Editors: Vojnar, Tomáš; Zhang, Lijun, 1979- Other Names: TACAS (Conference), 25th; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xxiii, 413 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.: 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Part I (2019) Editors: Vojnar, Tomáš; Zhang, Lijun, 1979- Other Names: TACAS (Conference), 25th; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xxiii, 433 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗