FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
John Bruntse Larsen
Organization: Technical University of Denmark
Web page: http://people.compute.dtu.dk/jobla/
Pages in this Program
Isabelle on Friday, July 13th
Isabelle Program
Program
Program for Friday, July 13th