VSL 2014: VIENNA SUMMER OF LOGIC 2014
Gwen Salaün
Organization: Grenoble INP - INRIA - LIG
Web site: http://www.inrialpes.fr/vasy/people/Gwen.Salaun/
Pages in this Program
WWV Program Committee