en | de

Model Checking

master program

VO2  SS 2010  703521

Time & Place

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