FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
German Rigau
Organization: Universidad del PaĆ­s Vasco
Pages in this Program
Program
Program for Friday, July 13th
Vampire on Friday, July 13th
Vampire Program