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

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

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

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

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

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

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

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

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

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