FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
German Vidal
Organization: MiST, DSIC, Universitat Politecnica de Valencia
Web page: http://www.dsic.upv.es/~gvidal
Pages in this Program
HCVS on Friday, July 13th
HCVS Papers
HCVS Papers: Papers with Abstracts
HCVS Program
Program
Program for Friday, July 13th