VSL 2014: VIENNA SUMMER OF LOGIC 2014
Timothy Bourke
Organization: INRIA/IRISA
Web site: http://tbrk.org
Pages in this Program
ITP on Wednesday, July 16th, 2014
ITP Program
Program
Program for Wednesday, July 16th, 2014