FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Jan Jakubův
Affiliation: University of Innsbruck
Pages in this Program
ITP on Wednesday, August 10th
ITP Program
Program
Program for Wednesday, August 10th