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.