Thesis' Author:  David Gonçalves Vaz
Course description: PhD in Computer Science

Affiliation: CRACS & INESC TEC

Supervisor(s):

• Michel Ferreira

Co-supervisor(s):

• Vítor Santos Costa (DCC/FCUP/UPORTO)