Thesis' Author:  André Baptista
Course description: MSc in Computer Science

Supervisor(s):

• Rolando Martins (DCC / FCUP / UPorto/ INESC TEC)

Co-supervisor(s):

• Luís Antunes (DCC-FCUP)