CSL18: COMPUTER SCIENCE LOGIC 2018
Patrick Baillot
Organization: CNRS and ENS Lyon
Web page: http://perso.ens-lyon.fr/patrick.baillot/
Pages in this Program
Program
Program for Tuesday, September 4th