VSL 2014: VIENNA SUMMER OF LOGIC 2014
Michael Backes
Organization: Saarland University and Max Planck Institute for Software Systems
Web site: http://www.infsec.cs.uni-sb.de/%7Ebackes/index.html
Pages in this Program
CSF on Tuesday, July 22nd, 2014
CSF Program
CSF Program Committee
Program
Program for Tuesday, July 22nd, 2014