FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Mauro Ferrari
Organization: DiSTA, Universita' dell'Insubria.
Web page: http://www.dista.uninsubria.it/~ferram/
Pages in this Program
EICNCL on Thursday, July 19th
EICNCL Program
Program
Program for Thursday, July 19th
Slides
Slides