Software Verification, Summer 2024

Graduate course, Institute for Informatics, LMU Munich, 2024

This lecture is instructed by Prof. Dirk Beyer. As a teaching assistant, I am responsible for giving weekly tutorials to help students on exercise sheets.