Thesis' Author:  Joaquim Magalhães Silva
Course description: MSc in Computer Science

Affiliation: FCUP & CRACS / INESC TEC

Supervisor(s):

• Fernando Silva (FCUP)

Co-supervisor(s):

• Luís Lopes (FCUP)