From Action Systems to Distributed Systems

Formal methods traditionally address the question of transforming software engineering into a mat...

Program Development by Refinement

The Idea of Program Refinement Programs are complex. They are typically so complex, that they go ...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 11th International Conference on Integrated...

Formal Methods. FM 2019 International Workshops

Formal Methods. FM 2019 International Workshops

Formal Methods Teaching

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teachin...

FM 2006: Formal Methods

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods...