Formal Methods for Software Development TDA294/DIT271, LP1, HT2017

Course Evaluation

Student Representatives

For the purpose of course evaluation, a number of student representatives will have the role of giving feedback to the teacher, in two meetings or so.

We are grateful to have the following students as course representatives:

  • Elmar Aliyev (
  • Mohamad Mortada (
  • André Samuelsson (
  • Yan Wang (
  • To support their task, please approach them with any comments and feedback you may have about the course.

    Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt, Sep 7, 2017