VSL 2014: VIENNA SUMMER OF LOGIC 2014
Carsten Sinz
Organization: Karlsruhe Institute of Technology (KIT)
Web site: http://www.carstensinz.de
Pages in this Program
SAT Program Committee