Title: Formal methods in architecture and urbanism
Subjects: Architecture, Data processing, Formal methods (Computer science)