en | de

Introduction to Model Checking

master program

VO1  WS 2008/2009  703503

Time & Place

Wednesday from 12:30 to 14:00 in HS F. The first lecture will be on October 1.