1. 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) ↗
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. 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) ↗
4. Testing software and systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings /: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. (2019) Editors: Gaston, Christophe; Kosmatov, Nikolai; Le Gall, Pascale Other Names: ICTSS (Conference), 31st Record Type: Book Extent: 1 online resource (xiv, 297 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗