VSL 2014: VIENNA SUMMER OF LOGIC 2014
Michael Clarkson
Organization: Cornell University
Web site: http://www.cs.cornell.edu/~clarkson/
Pages in this Program
FCS-FCC Home Page