You are about to access our book library "Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Digital ... Architecture, Engineering and Construction) full version"
.