VSL 2014: VIENNA SUMMER OF LOGIC 2014
Mats Heimdahl
Organization: University of Minnesota
Web site: http://www.cs.umn.edu/~heimdahl
Pages in this Program
VSTTE Program Committee