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

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

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

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

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 presents the refereed proceedings of the 14th International Symposium on Formal Meth...