Software Verification, Summer 2023

Graduate course, Institute for Informatics, LMU Munich, 2023

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.