International Symposium Formal Methods in Architecture (6th. 2022. A Coruña)
Envíos recientes
-
6th International Symposium Formal Methods in Architecture: Book of Abstracts
(Universidade da Coruña, Servizo de Publicacións, 2022)[Abstract] The lnternational Symposium Formal Methods in Architecture searches to contribute to the debate in the fields of Architecture and Urbanism on the application of new formal methods to emerging societal and technical ...