Contact Person : Jonathan Bowen; Last Date for the submission of abstract : Not Available ; Description : B and Z are two important formal methods which share a common conceptual origin; each is widely used in both academia and industry for the specification and verification of both hardware and software systems.