FMTEA19: FORMAL METHODS TEACHING WORKSHOP AND TUTORIAL
Andrew Simpson
Organization: University of Oxford
Web page: http://web.comlab.ox.ac.uk/oucl/people/andrew.simpson.html
Pages in this Program
Program
Program for Monday, October 7th
Slides