FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Lasse Blaauwbroek
Organization: Czech Institute of Informatics, Robotics and Cybernetics
Pages in this Program
Coq on Sunday, July 8th
Coq Program
Program
Program for Sunday, July 8th