Thesis' Author:  Ana Isabel Dias
Course description: MSc in Computer Science

Affiliation: CRACS & INESC Porto

Supervisor(s):

• Inês Dutra (FCUP)

Co-supervisor(s):

• Ricardo Correia (FMUP & CINTESIS)