Você está em: Início > Publicações > Visualização > Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
Mapa das Instalações
Publicações
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
Título
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
Tipo
Livro de Atas de Conferência Internacional
Ano
2020
Conferência Internacional
23rd Brazilian Symposium on Formal Methods, SBMF 2020
25 November 2020 through 27 November 2020
Outras Informações
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
ISBN:
978-3-030-63881-8
ISBN Eletrónico:
978-3-030-63881-8
Coleção:
Lecture Notes in Computer Science
Vol.:
12475
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Artigo em Livro de Atas de Conferência Internacional
Liu, C (Autor) (Outra); Macedo, N (Autor) (FEUP); Cunha, A (Autor) (Outra)
2020
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-07-23 às 23:34:12 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias
Página gerada em: 2025-07-23 às 23:34:12 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias