• 6th International Symposium Formal Methods in Architecture: Book of Abstracts 

      Lizancos, Plácido; Leite Viana, David; Morais, Fraknlim; Vieira Vaz, Jorge (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 ...
    • Nuevos métodos en Arquitectura y Urbanismo 

      Leite Viana, David; Morais, Franklim; Ruivo, Catarina (Universidade da Coruña. Servizo de Recursos Audiovisuais, 2021-03-18)
      [Resumen] Conferencia celebrada o día 18 de marzo de 2021 no Salón de actos da ETSA - A Coruña, a cargo dos arquitectos e investigadores, David Leite Viana, do ISCTE de Lisboa, Catarina Ruivo, da Facultade de Arquitectura ...