en | de

Model Checking

Masterstudium

VO2  SS 2011  703521

Time & Place

Wednesdays from 8:15 to 9:45 in HS 10. The first lecture will be on March 9.