Completed
Thesis' Author:  Pedro Reis Paredes
Course description: MSc in Computer Science
Affiliation: FCUP & CRACS / INESC TEC
Supervisor(s):