Você está em: Início > Publicações > Visualização > SCIENCE OF COMPUTER PROGRAMMING

Mapa das Instalações

Publicação

Publicações

SCIENCE OF COMPUTER PROGRAMMING

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2022

Título

SCIENCE OF COMPUTER PROGRAMMING

Tipo

Livro de Atas de Conferência Internacional

Ano

2022

Conferência Internacional

23rd Brazilian Symposium on Formal Methods (SBMF)

ELECTR NETWORK, NOV 25-27, 2020

Outras Informações

Idioma: Inglês

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

Vol.: 14010

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)

2022