In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic re

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributi

This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORT

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Sy

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which