FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Annalisa Massini
Organization: Department of Computer Science Sapienza University of Rome
Web page: http://twiki.di.uniroma1.it/twiki/view/Users/AnnalisaMassini
Pages in this Program
Program
Program for Friday, July 13th
RCRA on Friday, July 13th
RCRA Program
Slides
Slides