FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Emin Karayel
Affiliation: Technische Universität München, Institute of Informatics, Logic and Verification
Pages in this Program
ITP on Tuesday, August 9th
ITP Program
Program
Program for Tuesday, August 9th
Slides
Slides