VSL 2014: VIENNA SUMMER OF LOGIC 2014
Pavithra Prabhakar
Organization: IMDEA Software Institute
Web site: http://software.imdea.org/people/pavithra.prabhakar/
Pages in this Program
CAV Call for Papers
CAV Program Committee