FMTEA19: FORMAL METHODS TEACHING WORKSHOP AND TUTORIAL
Dirk Nowotka
Organization: Christian-Albrechts-Universität zu Kiel
Web page: http://zs.uni-kiel.de/en/team/nowotka
Pages in this Program
Program
Program for Monday, October 7th