This volume constitutes the thoroughly refereed post-conference proceedings of the 9th Internatio...

Vom Schnee, der die Krokusse noch einmal überdeckt, kündet ein Gedicht. Eulen und Adler bekommen ...

This book constitutes the proceedings of the 23rd International Conference on Verification, Model...

Search structures support the fundamental data storage primitives on key-value pairs: insert a pa...

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ...

This book constitutes the refereed proceedings of the 11th International Conference on Networked ...

Andreas Podelski is one of the leading researchers in formal verification and software engineerin...