VSL 2014: VIENNA SUMMER OF LOGIC 2014
Radu Mardare
Organization: Department of Computer Science, Aalborg University
Web site: http://www.cs.aau.dk/~mardare/
Pages in this Program
DCM Home Page