| title | collection | type | permalink | venue | date | location |
|---|---|---|---|---|---|---|
Software Verification, Winter 2021 |
teaching |
Graduate course |
/teaching/2021-winter-sv |
Institute for Informatics, LMU Munich |
2021-10-01 |
Munich, Germany |
This lecture is instructed by Prof. Dirk Beyer. As a teaching assistant, I am responsible for preparing exercise sheets and answering questions from students.