Thesis' Author:  Alexandre Jorge Teixeira Miranda Pinto
Course description: PhD in Computer Science

Supervisor(s):

• Armando Matos

Co-supervisor(s):

• Luís Antunes (DCC-FCUP)