Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6fma), a Coru? 2022 (Hardcover, 2023)
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6fma), a Coru? 2022 (Paperback, 2023)