Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Ulrich Berger, Logic for Computer Science
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.