Towards certified program logics for the verification of imperative programs

Bibliographic Details
Main Author: David Miguel Ramalho Pereira
Publication Date: 2013
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: https://hdl.handle.net/10216/67898
id RCAP_3f8683adf8a226d40462ddfde1a2db3a
oai_identifier_str oai:repositorio-aberto.up.pt:10216/67898
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Towards certified program logics for the verification of imperative programsCiências da computação e da informaçãoComputer and information sciences2013-03-082013-03-08T00:00:00Zdoctoral thesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://hdl.handle.net/10216/67898engDavid Miguel Ramalho Pereirainfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-02-27T16:41:16Zoai:repositorio-aberto.up.pt:10216/67898Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T21:50:17.337178Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Towards certified program logics for the verification of imperative programs
title Towards certified program logics for the verification of imperative programs
spellingShingle Towards certified program logics for the verification of imperative programs
David Miguel Ramalho Pereira
Ciências da computação e da informação
Computer and information sciences
title_short Towards certified program logics for the verification of imperative programs
title_full Towards certified program logics for the verification of imperative programs
title_fullStr Towards certified program logics for the verification of imperative programs
title_full_unstemmed Towards certified program logics for the verification of imperative programs
title_sort Towards certified program logics for the verification of imperative programs
author David Miguel Ramalho Pereira
author_facet David Miguel Ramalho Pereira
author_role author
dc.contributor.author.fl_str_mv David Miguel Ramalho Pereira
dc.subject.por.fl_str_mv Ciências da computação e da informação
Computer and information sciences
topic Ciências da computação e da informação
Computer and information sciences
publishDate 2013
dc.date.none.fl_str_mv 2013-03-08
2013-03-08T00:00:00Z
dc.type.driver.fl_str_mv doctoral thesis
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10216/67898
url https://hdl.handle.net/10216/67898
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833599447281434624

Similar Items