VSL 2014: VIENNA SUMMER OF LOGIC 2014
Dragan Ivanovic
Organization: IMDEA Software Institute
Pages in this Program
CHR Home Page