Publicação

Towards certified program logics for the verification of imperative programs

Detalhes bibliográficos

Assunto:	Ciências da computação e da informação Computer and information sciences
País:	Portugal
Tipo de documento:	doctoral thesis
Tipo de acesso:	Aberto
Instituição associada:	Repositório Aberto da Universidade do Porto
Idioma:	inglês
Origem:	Repositório Aberto da Universidade do Porto