Thesis' Author:  Luís Filipe Pinho Correia
Course description: MSc in Computer Science

Supervisor(s):

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