VSL 2014: VIENNA SUMMER OF LOGIC 2014
Michel Parigot
Organization: CNRS - Universit� Paris 7
Pages in this Program
SD Home Page
SD Program Committee