This book shares the results of a decennial research aimed at finding housing solutions for unprivileged people in informal settlements of Brazil. To understand the spatial logics of these settlements
This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in Novemb
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004
