Editor de livro
7th International Simposium Formal Methods in Architecture - Book of Abstracts
Bruno Marques (Marques, B.); Catarina Ruivo (Ruivo, C.); Viana, David Leite (Viana, David Leite); Jorge Vieira Vaz (Vaz, J. V.); 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