en | de

Model Checking

master program

VO2  SS 2008  703521

Evaluation

The first (written and closed book) exam (solution, results) was on June 5, 12:00-14:00 in HS 10.

The second (written and closed book) exam was on July 29, 9:00-11:00 in HS 10.

The third (written and closed book) exam (solution, results) was on October 7, 14:00-16:00 in HS 10.