VSL 2014: VIENNA SUMMER OF LOGIC 2014
Kavitha Srinivas
Organization: IBM Research
Pages in this Program
ORE Program Committee