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...

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

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

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

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

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...

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 Festschrift volume has been published to celebrate the lifelong scientific achievements of F...

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...