zb2005 logo

4th International Conference
of B and Z Users

University of Surrey, Guildford, UK, 13-15 April 2005
Organised by APCB and the Z User Group

Conference Organisers

General enquiries about the meeting may be directed to:

Steve Schneider (Conference Chair)

Department of Computing
School of Electronics and Physical Sciences
University of Surrey
Guildford, Surrey, GU2 7XH
email: S.Schneider@surrey.ac.uk





University of Surrey logo Maintained by Rob Delicata.