MFCS 2023: 48TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Isa Vialard
Affiliation: Laboratoire Méthodes Formelles (LMF), CNRS, ENS Paris-Saclay
Web page: https://lmf.cnrs.fr/IsaVialard/
Pages in this Program
Program
Program for Friday, September 1st