Enrolment options

342.201/11/12/13/14/15, VO / UE Formal Models, Bernhard Aichernig / Felix Wallner / Dominik Mascherbauer, 2026S

  • 342.201, VO Formal Models, Bernhard Aichernig, 2026S (2026S342201)
  • 342.211, UE Formal Models, Felix Wallner et al., 2026S (2026S342211)
  • 342.212, UE Formal Models, Felix Wallner et al., 2026S (2026S342212)
  • 342.213, UE Formal Models, Felix Wallner et al., 2026S (2026S342213)
  • 342.214, UE Formal Models, Felix Wallner et al., 2026S (2026S342214)
  • 342.215, UE Formal Models, Felix Wallner et al., 2026S (2026S342215)
Guests cannot access this course. Please log in.