Runtime Verification Bernd Finkbeiner

Instructors

Bild
Bernd Finkbeiner
Contact: ( )
Tutorial #1: Monday, 01:00 in
Tutorial #4: Tuesday, 04:00 in
Tutorial #5: Wednesday, 05:00 in


Assistants

Bild
Peter Faymonville
Contact: ( )
Tutorial #7: Thursday, 07:00 in
Tutorial #8: Thursday, 08:00 in
Tutorial #11: Friday, 11:00 in

Bild
Jesko Hecking-Harbusch
Contact: ( )
Tutorial #2: Monday, 02:00 in
Tutorial #6: Wednesday, 06:00 in
Tutorial #12: Friday, 12:00 in

Bild
Hazem Torfah
Contact: ( )
Tutorial #3: Tuesday, 03:00 in
Tutorial #9: Friday, 09:00 in
Tutorial #10: Friday, 10:00 in




If you encounter technical problems, please contact the administrators