- 342.231, UE Formal Models, Martina Seidl / Katalin Fazekas / Daniela Kaufmann, SS 2019 (2019S342231)
- 342.232, UE Formal Models, Martina Seidl / Katalin Fazekas / Daniela Kaufmann, SS 2019 (2019S342232)
- 342.233, UE Formal Models, Martina Seidl / Katalin Fazekas / Daniela Kaufmann, SS 2019 (2019S342233)
- 342.234, UE Formal Models, Martina Seidl / Katalin Fazekas / Daniela Kaufmann, SS 2019 (2019S342234)
- 342.235, UE Formal Models, Martina Seidl / Katalin Fazekas / Daniela Kaufmann, SS 2019 (2019S342235)
