Conference proceedings editor
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.);
Year (definitive publication)
2025
Language
English
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
ci-pub-110011
Other Publication Details
CESAP - Cooperativa de Ensino Superior Artístico
--
978-989-53723-7-9 (print)
--
-- --
--
Yes
Both (printed and digital)
7th International Symposium on Formal Methods in Architecture
Escola Superior Artística do Porto (ESAP), Ordem dos Arquitetos Secção Regional Norte (OASRN)
Porto
Conference
International
2024
--