Seminar “Selected Topics in Logic and Verification”

Vorlesungsreihe

This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science). The seminar addresses students that have profound knowledge in theoretical computer science and logics.