FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Peter Lammich
Organization: Institut fuer Informatik, TU Munich
Pages in this Program
Isabelle on Friday, July 13th
Isabelle Program
Program
Program for Friday, July 13th
Slides
Slides