en | de

Einführung in Model Checking

Masterstudium

VO1  WS 2010/2011  703503

Time & Place

Wednesday from 12:15 to 13:45 in HS F. The first lecture will be on October 6.