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 book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...

This book constitutes the proceedings of the First International Conference, DSAI 2023, held in B...

This Festschrift volume has been published to celebrate the lifelong scientific achievements of F...

This book constitutes the proceedings of the Second refereed proceedings of the Second ...

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 book constitutes the refereed proceedings of the 21st International Colloquium on Theoretica...

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