Model CheckingCS4138Institut für Softwaretechnik und Programmiersprachen (ISP)

Vorlesung

• Vorlesung mit Übung
  Vorlesung

  Leucker u. a.

  • Di 12:15–13:45Raum: Seminarraum Mathematik 2 ( Banach )
  • Mi 14:15–15:45Raum: AM S 2

Übungen und Gruppen

1 Gruppe

• Übung

  • Mi 14:15–15:45Raum: AM S 2

  Leucker u. a.