VSL 2014: VIENNA SUMMER OF LOGIC 2014
Marieke Huisman
Organization: University of Twente
Web site: http://wwwhome.ewi.utwente.nl/~marieke
Pages in this Program
VERIFY Program Committee