VSL 2014: VIENNA SUMMER OF LOGIC 2014
Léon Gondelman
Organization: (LRI) Lab. de Recherche en Informatique, Univ. Paris-Sud
Web site: https://www.lri.fr/~gondelman/
Pages in this Program
CAV on Saturday, July 19th, 2014
CAV Program
Program
Program for Saturday, July 19th, 2014