Editor de atas de evento científico
Formal Methods in Architecture: 7th International Symposium Book of Abstracts
Bruno Marques (Marques, B.); Catarina Ruivo (Ruivo, C.); David Leite Viana (Leite Viana, D.); Jorge Vieira Vaz (Vieira Vaz, J.);
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

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

Abstract/Resumo
--
Agradecimentos/Acknowledgements
--
Palavras-chave