Prüfungen von Patrick Godefroid (WiSe 2023)