Provas do Mestrado Europeu em Lógica Computacional
Lic. Tewodros Awgichew Beyene
Titulo: Constraint-Based Verification of Imperative Programs
Presidente: Doutor José Júlio Alves Alferes, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Vogais: Doutora Maria Inês Camarate de Campos Lynce Faria, Professora Auxiliar do Instituto Superior Técnico da Universidade Técnica de Lisboa
Doutor Pedro Manuel C. Calvente Barahona, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa