This volume contains the research papers, invited papers, and abstracts of - torials presented at...

Die Entwicklung moderner Gesellschaften wird durch das Zusammenwirken von Märkten und marktkorrig...

InhaltsangabeThe ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A L...

This book presents the thoroughly refereed post-conference proceedings of the International Confe...

The ultimate goal of program verification is not the theory behind the tools or the tools themsel...

Static analysis of software with deductive methods is a highly dynamic field of research on the v...

This book constitutes the proceedings of the 5th International Conference on Electronic Voting, E...

This book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...