FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Paolo Arcaini
Organization: National Institute of Informatics
Web page: http://group-mmm.org/~arcaini/
Pages in this Program
F-IDE on Saturday, July 14th
F-IDE Program
Program
Program for Saturday, July 14th
Slides
Slides