FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Mario S. Alvim
Organization: Universidade Federal de Minas Gerais
Web page: http://www.dcc.ufmg.br/~msalvim
Pages in this Program
FM on Sunday, July 15th
FM Program
Program
Program for Sunday, July 15th
Slides
Slides