FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Carlos Gustavo Lopez Pombo
Organization: Department of Comuting, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires and CONICET
Pages in this Program
All Proceedings Papers
ITP on Monday, July 9th
ITP Papers
ITP Papers: Papers with Abstracts
ITP Program
Paper: Boosting the Reuse of Formal Specifications
Program
Program for Monday, July 9th