Entrada/Posfácio/Prefácio
Closing Speech
Catarina Ruivo (Ruivo, C.);
Título Livro
Formal Methods in Architecture: Proceedings of the 7th International Symposium
Ano (publicação definitiva)
2025
Língua
Inglês
País
Suíça
Mais Informação
Visitar Link
Web of Science®

Esta publicação não está indexada na Web of Science®

Scopus

Esta publicação não está indexada na Scopus

Google Scholar

Esta publicação não está indexada no Google Scholar

Overton

Esta publicação não está indexada no Overton

Abstract/Resumo
--
Agradecimentos/Acknowledgements
--
Palavras-chave
Identificadores da Publicação
https://link.springer.com/book/10.1007/978-3-032-02782-5
ci-pub-114252
Outros Detalhes da Publicação
Springer Nature Switzerland
--
--
xiii - xvi 3
--
Sim
Altmetric
Dimensions
PlumX Metrics