FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Ivan Ruchkin
Organization: Institute for Software Research, Carnegie Mellon University
Web page: http://www.cs.cmu.edu/~iruchkin
Pages in this Program
FM on Sunday, July 15th
FM Program
Program
Program for Sunday, July 15th
Slides
Slides