VSL 2014: VIENNA SUMMER OF LOGIC 2014
Peter Müller
Organization: ETH Zürich
Web site: http://www.pm.inf.ethz.ch/people/mueller/
Pages in this Program
VSTTE Program Committee