Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto (DCC-FCUP)