Springer, 2023. — 823 p. — (Digital Innovations in Architecture, Engineering and Construction). — ISBN 978-981992216X.
This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are developed in a collaborative way with architecture and related fields.