Publication

Towards certified program logics for the verification of imperative programs

Bibliographic Details

Subject:	Ciências da computação e da informação Computer and information sciences
Country:	Portugal
Document type:	doctoral thesis
Access type:	Open
Associated institution:	Repositório Aberto da Universidade do Porto
Language:	English
Origin:	Repositório Aberto da Universidade do Porto