Você está em: Início > Publicações > Visualização > First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Mapa das Instalações

Publicação

Pesquisa de Publicações

Publicações

First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Título

First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.Exportar publicação no formato APA Exportar publicação no formato EXCEL Exportar publicação no formato RIS

Tipo

Livro de Atas de Conferência Internacional

Data

2009

Título

First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Tipo

Livro de Atas de Conferência Internacional

Ano

2009

Outras Informações

Idioma: Inglês

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

Coleção: NASA Conference Proceedings

Documentos

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

Publicações Contidas

Deductive Verification of Cryptographic SoftwareImportada do Authenticus

Artigo em Livro de Atas de Conferência Internacional

Barbosa, M (Autor) (Outra); Almeida, JB (Autor) (Outra); Pinto, JS (Autor) (Outra); Vieira, B (Autor) (Outra)

2009

Recomendar Página Voltar ao Topo

Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto I Termos e Condições I Acessibilidade I Índice A-Z
Página gerada em: 2025-09-19 às 15:22:56 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico