FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Raphaël Cauderlier
Organization: Irif
Pages in this Program
ITP on Wednesday, July 11th
ITP Program
Program
Program for Wednesday, July 11th