Título da tese: Modeling Assembly Program with Constraints: A Contribution to WCET Problem
Orientador: Prof. Pedro Barahona
Presidente do júri: Prof. José Alferes (DI)
Vogais: Prof. Pedro Barahona (DI) e Prof. Luís Gomes (DEE)