Franklim Morais

• Formal Methods in Architecture and Urbanism, Volume 2
• Emerging Perspectives on Teaching Architecture and Urbanism
• Formal Methods in Architecture
• Formal methods in architecture and urbanism