VSL 2014: VIENNA SUMMER OF LOGIC 2014
Natarajan Shankar
Organization: SRI International
Web site: http://www.csl.sri.com/~shankar
Pages in this Program
SSV Program Committee
VSTTE Program Committee