All modern industries rely on large and complex software systems. In order to construct such larg...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

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

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components a...