DIUM/CCTC

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.

r15 - 19 Sep 2006 - 15:58:10 - JoostVisser
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM