FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Gilles Geeraerts
Organization: Université libre de Bruxelles
Web page: http://www.ulb.ac.be/di/verif/ggeeraer
Pages in this Program
MoRe on Friday, July 13th
MoRe Program
Program
Program for Friday, July 13th