Towards certified program logics for the verification of imperative programs

Bibliographic Details
Main Author: David Miguel Ramalho Pereira (author)
Format: doctoralThesis
Language:eng
Published: 2013
Subjects:
Ciências da computação e da informação
Computer and information sciences
Online Access:https://hdl.handle.net/10216/67898
Country:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/67898
Description
Description not available.

Similar Items