Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/67898
Author(s): David Miguel Ramalho Pereira
Title: Towards certified program logics for the verification of imperative programs
Issue Date: 2013-03-08
Subject: Ciências da computação e da informação
Computer and information sciences
Scientific areas: Ciências exactas e naturais::Ciências da computação e da informação
Natural sciences::Computer and information sciences
URI: https://hdl.handle.net/10216/67898
Document Type: Tese
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FCUP - Tese

Files in This Item:
File Description SizeFormat 
24331.pdfTowards certified program logics for the verification of imperative programs1.31 MBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons