VSL 2014: VIENNA SUMMER OF LOGIC 2014
Stefan Berghofer
Organization: secunet Security Networks AG
Web site: http://www.in.tum.de/~berghofe
Pages in this Program
SSV Program Committee