Capítulo de livro
Some Controversies Around Formalization in Architecture
Mora, Plácido Lizancos (Mora, Plácido Lizancos); Catarina Ruivo (Ruivo, C.); Viana, David Leite (Viana, David Leite); Morais, Franklim (Morais, Franklim); Jorge Vieira Vaz (Vaz, J. V.); López-Chao, Vicente (López-Chao, Vicente);
Título Livro
Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture
Ano (publicação definitiva)
2023
Língua
Inglês
País
Singapura
Mais Informação
Visitar Link
Web of Science®

N.º de citações: 0

(Última verificação: 2026-07-08 10:50)

Ver o registo na Web of Science®

Scopus

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

Google Scholar

N.º de citações: 0

(Última verificação: 2026-07-05 09:12)

Ver o registo no Google Scholar

Overton

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

Abstract/Resumo
--
Agradecimentos/Acknowledgements
--
Palavras-chave
Identificadores da Publicação
WOS:001753557500004
cv-prod-id-3480970
ci-pub-97354
Outros Detalhes da Publicação
2023
Springer Nature Singapore
Web of Science©;
--
978-981-99-2216-1 (print)
978-981-99-2217-8 (online)
35 - 46 --
--
Sim
Ambos (impresso e digital)