Software Verification, Winter 2021
Graduate course, Institute for Informatics, LMU Munich, 2021
This lecture is instructed by Prof. Dirk Beyer. As a teaching assistant, I am responsible for preparing exercise sheets and answering questions from students.
