Entries/Forewords/Afterwords
Closing Speech
Catarina Ruivo (Ruivo, C.);
Book Title
Formal Methods in Architecture: Proceedings of the 7th International Symposium
Year (definitive publication)
2025
Language
English
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

This publication is not indexed in Google Scholar

Overton

This publication is not indexed in Overton

Abstract
--
Acknowledgements
--
Keywords
Publication Identifiers
https://link.springer.com/book/10.1007/978-3-032-02782-5
ci-pub-114252
Other Publication Details
Springer Nature Switzerland
--
--
xiii - xvi 3
--
Yes
Altmetric
Dimensions
PlumX Metrics