You are about to access our book library "Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 (Digital Innovations in Architecture, Engineering and Construction) full version"
.