Conference proceedings editor
Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024
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)
2025
Language
--
Country
Switzerland
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

Times Cited: 0

(Last checked: 2026-05-04 18:49)

View record in Google Scholar

Overton

This publication is not indexed in Overton

Abstract
--
Acknowledgements
--
Keywords
Publication Identifiers
cv-prod-id-4822462
ci-pub-113372
978-3-032-02782-5
Other Publication Details
Springer
--
--
--
-- --
--
Yes
--
--
2027
--