Provas de Mestrado em Engenharia Informática
Lic. Diogo Miguel Gaspar de Sousa
Dissertação intitulada: Preventing Atomicity Violations with Contracts.
Presidente
Doutor Maria Armanda S. Rodrigues Greau, Profª. Auxiliar, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa - Departamento de Informática
Vogais
Doutor António Paulo Teles de Menezes Correia Leitão, Prof. Auxiliar, Instituto Superior Técnico, Departamento de Eng. Electrotécnica e de Computadores
Doutor João Miguel dos Santos Lourenço, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa - Departamento de Informática