Software Engineering using Formal Methods

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 `@student.chalmers.se` 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

Student Representatives