- 342.231, UE Formal Models, Martina Seidl / Daniela Ritirc, SS 2018 (2018S342231)
- 342.232, UE Formal Models, Martina Seidl / Daniela Ritirc, SS 2018 (2018S342232)
- 342.233, UE Formal Models, Martina Seidl / Daniela Ritirc, SS 2018 (2018S342233)
- 342.235, UE Formal Models, Martina Seidl / Daniela Ritirc, SS 2018 (2018S342235)