Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Towards certified program logics for the verification of imperative programs
Publication

Towards certified program logics for the verification of imperative programs

Title
Towards certified program logics for the verification of imperative programs
Type
Thesis
Year
2013-03-08
Authors
David Miguel Ramalho Pereira
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications Without AUTHENTICUS Without ORCID
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Language: English
Type (Professor's evaluation): Scientific
License type: Click to view license CC BY-NC
Documents
File name Description Size
thesis Towards certified program logics for the verification of imperative programs 1313.74 KB
Recommend this page Top
Copyright 1996-2024 © Faculdade de Economia da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-07-20 at 22:27:51 | Acceptable Use Policy | Data Protection Policy | Complaint Portal
SAMA2