VSL 2014: VIENNA SUMMER OF LOGIC 2014
Stéphane Gimenez
Organization: Institute of Computer Science, University of Innsbruck
Web site: http://cl-informatik.uibk.ac.at/users/sgimenez
Pages in this Program
2FC on Saturday, July 12th, 2014
2FC Program
Program
Program for Saturday, July 12th, 2014