VSL 2014: VIENNA SUMMER OF LOGIC 2014
Radhia Cousot
Organization: CNRS / École normale supérieure
Web site: http://www.di.ens.fr/~rcousot/
Pages in this Program
CSL-LICS on Tuesday, July 15th, 2014
CSL-LICS Program
Program
Program for Tuesday, July 15th, 2014