Thesis' Author:  João Luís Alves Barbosa
Course description: MSc in Computer Science

Supervisor(s):

• Mário Florido, LIACC/DCC-FCUP

Co-supervisor(s):

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