th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the ...

Formal methods for development of computer systems have been extensively studied over the years. ...

The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events de...

The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devo...

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...

The topics covered in this book range from modeling and programming languages and environments, v...

The topics covered in this book range from modeling and programming languages and environments, v...

This book presents important concepts from medical and socio-cultural anthropology to health prof...

Sorghum (Sorghum bicolor (L.) Moench) ist ein Gras, das in der zentralen Region des afrikanischen...

This open access book constitutes the proceedings of the 27th International Conference on Fundame...