Book release - Formal Methods in Architecture and Urbanism
Channel: Architecture FormalMethods
Date: 11/06/2018

IV International Symposium Formal Methods in Architecture
2018 Porto, Portugal

Book – “Formal Methods in Architecture and Urbanism”
http://www.cambridgescholars.com/formal-methods-in-architecture-and-urbanism

Chair: Francesco Cancelliere (Politecnico di Milano)
Presenter: Víctor Oliveira (Fac. Eng. Porto Univ | Lusophone Univ.)

Editor: David Leite Viana (ISTAR | ISCTE – Lisbon Univ.)
Editor: Franklim Morais (Concinnitas, CRL)
Editor: Jorge Vieira Vaz (Opo’Arch Project | LIA | ESAPorto)