This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...

This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th ...

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedF...

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...

'Go for it, Mom!' With those words of encouragement, Erika Abraham began a long running journey d...

This book constitutes the proceedings of the 19th International Conference on Quantitative Evalua...

This book constitutes the thoroughly refereed post-conference proceedings of the 10th Internation...

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects...

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Ve...