FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Elvinia Riccobene
Organization: Computer Science Dept., University of Milan
Web page: https://homes.di.unimi.it/riccobene/
Pages in this Program
F-IDE on Saturday, July 14th
F-IDE Program
Program
Program for Saturday, July 14th
Slides
Slides