Logic and Formal Methods

The research group on Logic and Formal Methods (Lógica e Métodos Formais) is part of the Center for Computing Sciences and Technologies (Centro de ciências e tecnologias da computação, CCTC) of the Department of Informatics (Departamento de Informática, DI) of the University of Minho (Universidade do Minho), Braga, Portugal.