Thesis' Author:  Ana Margarida Leite de Almeida Ferreira
Course description: PhD in Computer Science

Supervisor(s):

• Luís Antunes (DCC-FCUP)

Co-supervisor(s):

• David Chadwick (Univ. Kent, UK)