Autumn semester 2014 (252-0463-00)
Lecturer: Prof. David Basin
Assistants: Dr. Mohammad Torabi Dashti, Dr. Jannik Dreier, Marco Guarnieri
Lectures: Wed 10-12h, CAB G59
Exercises: Wed 15-17h, CAB G51
Credits: 5 ECTS (2V + 2U)
The lecture notes, exercises, slides, and other resources is available in our secured area (login with your nethz credentials).