This book constitutes the refereed proceedings of the First International Conference of B and Z U...

Formal methods have been established as the rigorous engineering methodology for the system devel...