Correia, Ricardo Mendes, Paio, A. & Brandão, Filipe J.S. (2018). Transdisciplinary digital change: science and architecture. In 4th International Symposium Formal Methods in Architecture. Porto