VSL 2014: VIENNA SUMMER OF LOGIC 2014
José Meseguer
Organization: University of Illinois at Urbana-Champaign
Pages in this Program
Program
Program for Sunday, July 13th, 2014
UNIF on Sunday, July 13th, 2014
UNIF Program