VSL 2014: VIENNA SUMMER OF LOGIC 2014
Bruno Blanchet
Organization: INRIA Paris-Rocquencourt
Web site: http://prosecco.gforge.inria.fr/personal/bblanche/
Pages in this Program
CSF Program Committee