Formal Methods in Architecture and Urbanism - Viana, David Leite (edición); Morais, Franklim (edición); Vaz, Jorge Vieira (edición) (Cambridge Scholars)