Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Show image information

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Continous
Group Seminar

Courses in WS 2020/21

NumberCourses
L.079.05100Programmierung
L.079.07503Proseminar: Ausgewählte Themen der Software Verifikation
L.079.08011Seminar: Advanced Topics in Software Analysis (in English)

Courses in WS 2019/20

Courses in SS 2019

No further classes (sabbatical of Prof. Wehrheim)

Courses in WS 2018/19

NumberCourses
L.079.05102Modellierung
L.079.05709Model Checking
L.079.08006Software Testing

 

Courses in WS 2017/18

The University for the Information Society