Go to:
Logótipo
You are in:: Start > Projetos / Dissertações / Teses > Tese de Doutoramento em Informática
Map of Premises
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática
Options

Tese de Doutoramento em Informática

Semantics-based Program Verification: an Abstract Interpretation Approach

Student: Vítor Gabriel dos Reis Machado Rodrigues
Nº de Estudante: 199502322
Orientadores: António Mário da Silva Marcos Florido
 
Status: Concluído
Desde: 15-MAI-2013
 
Start: 07-NOV-2008
Inscrição Definitiva: 30-JUL-2009
Entrega da Tese: 06-AGO-2013
Defence: 15-MAI-2013
   
Título da Tese: Semantics-based Program Verification: an Abstract Interpretation Approach
Título Provisório: Pragmatic Program Transformation and Verification: an Abstract Interpretation Perspective

Elementos do Júri

Name Role
António Porto Presidente
Jaoquin Aguado Vogal
José Oliveira Vogal
Maria Nunes Vogal
Simão Sousa Vogal
Mário Florido Vogal
Stefan Petters Vogal
Recommend this page Top
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2022-09-27 at 09:12:46 | Reports Portal