VSL 2014: VIENNA SUMMER OF LOGIC 2014
Nick Hawes
Organization: University of Birmingham
Web site: http://www.cs.bham.ac.uk/~nah
Pages in this Program
KR Program Committee