The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study …
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, …
This book consists of six survey contributions that are focused on several open problems of theoretical fluid mechanics both for …