Você está em: Início > Publicações > Visualização > INTEGRATED FORMAL METHODS, IFM 2022

Mapa das Instalações

Publicação

Publicações

INTEGRATED FORMAL METHODS, IFM 2022

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2022

Título

INTEGRATED FORMAL METHODS, IFM 2022

Tipo

Livro de Atas de Conferência Internacional

Ano

2022

Conferência Internacional

17th International Conference on Integrated Formal Methods (IFM)

Univ Svizzera Italiana, Software Inst, Lugano, SWITZERLAND, JUN 07-10, 2022

Outras Informações

Idioma: Inglês

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

ISBN: 978-3-031-07726-5

ISBN Eletrónico: 978-3-031-07727-2

Coleção: Lecture Notes in Computer Science

Vol.: 13274

Documentos

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

Publicações Contidas

Artigo em Livro de Atas de Conferência Internacional

Grilo, M (Autor) (Outra); Campos, J (Autor) (Outra); Ferreira, JF (Autor) (Outra); Almeida, JB (Autor) (Outra); Mendes, A (Autor) (FEUP)

2022