Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2014

Course Evaluation

Student Representatives

For the purpose of course evaluation, student representatives will randomly be selected. We will publish their contact details here soon.

We are grateful to have the students

  • Andreas Arvidsson (andarv)
  • Johan Härdmark (hardmark)
  • Johannes Jansson (johjans)
  • Aron Manucheri (aronm)
  • Tanya Lilly Roy (tanyal)
  • as course representatives. To support their task, please approach them (for their email address, add to the user name) with any comments and feedback you may have about the course.

    Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt , Sep 8, 2014