Provas de Mestrado Integrado em Engenharia Informática
Lic. André Duarte Teixeira Trindade
Dissertação intitulada: A Mechanized Proof of Kleene’s Theorem in Why3
Constituição do Júri:
Presidente:
Doutor João Alexandre Carvalho Pinheiro Leite, Prof. Associado com Agregação, Faculdade de Ciências e Tecnologia da UNL ‐ Dep. de Informática.
Vogais:
Doutor Simão Melo Patrício de Sousa, Prof. Associado c/ Agregação, Universidade da Beira Interior ‐ Dep. de Informática.
Doutor António Maria Lobo César Alarcão Ravara, Prof. Associado, Faculdade de Ciências e Tecnologia da UNL ‐ Dep. de Informática.