These proceedings record the papers presented at the third International Conference of B and Z Users (ZB2003) held in Turku, Finland, June 4-6 2003. B and Z are two important formal methods that share a common conceptual origin; they are leading approaches in industry and academia for the specification and development (using formal refinement) of computer-based systems.
|Place of Publication||Heidelberg|
|Publication status||Published - 2003|
|MoE publication type||C2 Edited books|