1. Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings /: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings. (2019) Editors: Hutton, Graham, 1968- Other Names: International Conference on the Mathematics of Program Construction, 13th Record Type: Book Extent: 1 online resource (viii, 467 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗