Book editor
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.);
Year (definitive publication)
2024
Language
--
Country
Portugal
More Information
Visit Link
Web of Science®

This publication is not indexed in Web of Science®

Scopus

This publication is not indexed in Scopus

Google Scholar

This publication is not indexed in Google Scholar

Overton

This publication is not indexed in Overton

Abstract
--
Acknowledgements
--
Keywords
Publication Identifiers
cv-prod-id-4471077
ci-pub-112281
Other Publication Details
Escola Superior Artística do Porto
--
--
1
-- 132
1ª
No