Thesis' Author:  João Monteiro Santos
Course description: MSc in Computer Science

Affiliation: FMUP & CRACS / INESC TEC

Supervisor(s):

• Luís Antunes (DCC-FCUP)

Co-supervisor(s):

• Cristina Santos, CINTESIS/FMUP