Vicente
López Chao
Profesor Ayudante Doctor
David
Leite Viana
Publicaciones en las que colabora con David Leite Viana (1)
2023
-
Some Controversies Around Formalization in Architecture
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Springer Nature Singapore), pp. 35-46