Software Specification Verification and Testingana, Damian FrolichFeb 5, 2024 Teaching in the Master Software EngineeringGraduate School of InformaticsDamian FrolichPhD Candidate