VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jose Meseguer
Organization: University of Illinois at Urbana-Champaign
Web site: http://formal.cs.uiuc.edu/meseguer
Pages in this Program
Program
Program for Wednesday, July 16th, 2014
RTA-TLCA on Wednesday, July 16th, 2014
RTA-TLCA Program