FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Mathias Fleury
Organization: Max-Planck Institut für Informatik
Web page: http://www.mpi-inf.mpg.de/~mfleury
Pages in this Program
Isabelle on Friday, July 13th
Isabelle Program
Program
Program for Friday, July 13th
Slides
Slides