VSL 2014: VIENNA SUMMER OF LOGIC 2014
Xavier Leroy
Organization: INRIA Paris-Rocquencourt
Web site: http://gallium.inria.fr/~xleroy/
Pages in this Program
ITP on Thursday, July 17th, 2014
ITP Program
Program
Program for Thursday, July 17th, 2014