[ZM] Master-Seminar Software-Verifikation

In diesem Seminar werden ausgewählte Themen aus dem Bereich Softwareverifikation behandelt.

Für das Seminar benötigen Sie Vorkenntnisse, die Sie in der Vorlesung "Formale Spezifikation und Verifikation" oder alternativ in der Vorlesung "Formale Spezifikation und Verifikation 2" erworben haben.

Um bei der Platzvergabe berücksichtigt zu werden, geben Sie bitte bei der Anmeldung an, dass Sie die oben genannten Vorkenntnisse mitbringen.

Betreuende Assistenten

Die Anmeldung zu dieser Veranstaltung erfolgt über eine Zentralanmeldung.

Einloggen zum Teilnehmen

Du bist nicht angemeldet. Um dich für die Veranstaltung anzumelden logge dich bitte ein.