UTP 2019: 7TH INTERNATIONAL SYMPOSIUM ON UNIFYING THEORIES OF PROGRAMMING
Tony Hoare
Organization: Cambridge University Computing Laboratory
Web page: http://www.cl.cam.ac.uk/~carh4
Pages in this Program
Program
Program for Tuesday, October 8th
Slides