FMTea 2019: Porto, Portugal

Tutorial Lectures

Teaching Program Verification

Teaching Program Development

Effective Teaching Techniques

a service of Schloss Dagstuhl - Leibniz Center for Informatics