This book is based on material presented at the international summer school on Applied Semantics ...

This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESO...

This book constitutes the refereed proceedings of the 9th International Conference on Software En...

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference o...

This book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...

What does a probabilistic program actually compute? How can one formally reason about such probab...

This book constitutes the refereed proceedings of the 4th International Symposium on Engineering ...

This volume contains the proceedings of the 11th International Conference on Veri?cation, Model C...

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...