en | de

Experiments in Verification – Practice of Decision Procedures

master program

VO1  SS 2012  703523

Lecturer

room consultation hours
VO Harald Zankl 3M12 Thursday14:30 – 16:00

Time & Place

VO Tuesday14:15 – 15:00 HS 10 Harald Zankl

Registration

It is required to register for the lecture (VO) until March 31.

Grading

The final grade is determined by an exam (written and closed book).