Verification Technology

Lecture "Verification Technology"

Content

Organisation

Typ:Lecture (V3) and Practice (Ü1)
Date:Tu, 11:40-13:20 and Fr, 12:00-12:45
Room:S3 06 202
Begin:October 25th 2016
Instructor:Prof. Dr.-Ing. Hans Eveking
Cycle:every winter semester
Language:English
Exam:oral

Material

Lecture materials are available on Moodle for guests (without password) too.