Ulrich Berger

CS_M85/CS_385 Modelling and Verification Techniques

Spring 2014

• Lectures: Thursdays 10-11 and Fridays 10-11 in the Board Room (room 314, Faraday Tower).
  Start: Thursday, 30 January 2014.