FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Manuel Barbosa
Organization: HASLab - INESC TEC and FCUP
Web page: http://www.dcc.fc.up.pt/~mbb
Pages in this Program
CSF on Tuesday, July 10th
CSF Program
Program
Program for Tuesday, July 10th
Slides
Slides