FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Emmanuel Jeandel
Affiliation: Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Pages in this Program
FSCD on Wednesday, August 3rd
FSCD Program
Program
Program for Wednesday, August 3rd
Slides
Slides