FMTEA19: FORMAL METHODS TEACHING WORKSHOP AND TUTORIAL
Tony Hoare
Organization: Cambridge University Computing Laboratory
Web page: http://www.cl.cam.ac.uk/~carh4
Pages in this Program
Program
Program for Monday, October 7th
Slides