FMTEA19: FORMAL METHODS TEACHING WORKSHOP AND TUTORIAL
Adrian Johnstone
Organization: Royal Holloway, University of London
Pages in this Program
Program
Program for Monday, October 7th