31. Static analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings /: 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings. (2017) Editors: Ranzato, Francesco Other Names: International Static Analysis Symposium, 24th Record Type: Book Extent: 1 online resource (XIV, 473 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. Static analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings /: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. (2018) Editors: Podelski, Andreas Other Names: International Static Analysis Symposium, 25th Record Type: Book Extent: 1 online resource (x, 445 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. Static analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings /: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings. (2019) Editors: Chang, Bor-Yuh Evan Other Names: SAS (Symposium), 26th Record Type: Book Extent: 1 online resource (xiv, 481 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Gabmeyer, Sebastian; Johnsen, Einar Broch Other Names: TAP (Conference), 11th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers /: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers. (2017) Editors: Bowen, J. P (Jonathan Peter), 1956-; Zhu, Huibiao Other Names: UTP (Symposium), 6th Record Type: Book Extent: 1 online resource (ix, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Unifying theories of programming : 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceedings /: 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceedings. (2019) Editors: Ribeiro, Pedro; Sampaio, Augusto Other Names: Hoare, C. A. R (Charles Antony Richard) 1934- honouree.; UTP (Symposium), 7th Record Type: Book Extent: 1 online resource (xiv, 217 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗