VSL 2014: VIENNA SUMMER OF LOGIC 2014
Barış Sertkaya
Organization: SAP Research Center Dresden
Web site: http://wwwtcs.inf.tu-dresden.de/~sertkaya
Pages in this Program
DL Program Committee