Você está em: Início > Publicações > Visualização > Lightweight Approach to Automatic Error Detection Using Program Invariants

Mapa das Instalações

Publicação

Publicações

Lightweight Approach to Automatic Error Detection Using Program Invariants

Título

Tipo

Artigo em Livro de Atas de Conferência Nacional

Data

2012

Título

Lightweight Approach to Automatic Error Detection Using Program Invariants

Tipo

Artigo em Livro de Atas de Conferência Nacional

Ano

2012

Autores

João Santos

(Autor)

FEUP

Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Sem AUTHENTICUS Sem ORCID

Rui Abreu

(Autor)

FEUP

Ata de Conferência Nacional

Título: IJUP12 Pesquisar Publicações da Ata de Conferência

The 5th Meeting of Young Researchers at UP (IJUP)

Classificação Científica

FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática

Outras Informações

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Documentos

Não foi encontrado nenhum documento associado à publicação.

Publicações Relacionadas

5G SA Private Networks Design (2023)
Tese
Daniel Girão Pereira

3D Representation from a Racket Sport Replay (2024)
Tese
Luís Filipe Carvalhais dos Santos de Matos