Publicações

IFM

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2012

Título

IFM

Tipo

Livro de Atas de Conferência Internacional

Ano

2012

Conferência Internacional

Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Outras Informações

Idioma: Inglês

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

ISBN: 978-3-642-30728-7

Vol.: 7321

Documentos

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

Publicações Contidas

Artigo em Livro de Atas de Conferência Internacional

Rebello De Andrade, F (Autor) (Outra); Faria, JP (Autor) (FEUP); Lopes, A (Autor) (Outra); Paiva, ACR (Autor) (FEUP)

2012

Artigo em Livro de Atas de Conferência Internacional

Ana Garis (Autor) (Outra); Ana C. R. Paiva (Autor) (FEUP); Alcino Cunha (Autor) (Outra); Daniel Riesco (Autor) (Outra)

2012