Saltar para:
Logótipo
Você está em: Início > Publicações > Visualização > Towards certified program logics for the verification of imperative programs

Towards certified program logics for the verification of imperative programs

Título
Towards certified program logics for the verification of imperative programs
Tipo
Tese
Ano
2013-03-08
Autores
David Miguel Ramalho Pereira
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Sem AUTHENTICUS Sem ORCID
Classificação Científica
FOS: Ciências exactas e naturais > Ciências da computação e da informação
Outras Informações
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Tipo de Licença: Clique para ver a licença CC BY-NC
Documentos
Nome do Ficheiro Descrição Tamanho
thesis Towards certified program logics for the verification of imperative programs 1313.74 KB
Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Arquitectura da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-11-08 às 22:49:56 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias