1. 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) ↗