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.