Provas de Mestrado Integrado em Engenharia Informática
Filipe Silva Meirim
Dissertação intitulada: Static Verification of Cloud Applications with Why3
Constituição do júri:
Presidente:
• Doutor António Maria Lobo César Alarcão Ravara, Professor Associado, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Vogais:
• Doutor Jorge Sousa Pinto, Professor Associado com Agregação com Agregação, Universidade do Minho
• Doutora Carla Maria Gonçalves Ferreira, Professora Associada, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa