FMTEA19: FORMAL METHODS TEACHING WORKSHOP AND TUTORIAL
Ana Romero
Organization: Universidad de La Rioja
Pages in this Program
Program
Program for Monday, October 7th