ZB 2005: University of Surrey, Guildford, UK

• Cliff B. Jones:
  Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. 1-5
  
• Michael Leuschel, Edd Turner:
  Visualising Larger State Spaces in Pro B. 6-23
  
• John Derrick, Heike Wehrheim:
  Non-atomic Refinement in Z and CSP. 24-44
  
• Steve Dunne, Stacey Conroy:
  Process Refinement in B. 45-64
  
• Petra Malik, Mark Utting:
  CZT: A Framework for Z Tools. 65-84
  
• Graeme Smith, Luke Wildman:
  Model Checking Z Specifications Using SAL. 85-103
  
• Ian Toyn, Andy Galloway:
  Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. 104-123
  
• Christian Attiogbé:
  A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. 124-141
  
• Pontus Boström, Marina A. Waldén:
  An Extension of Event B for Developing Grid Systems. 142-161
  
• Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial:
  The Challenge of Probabilistic Event B - Extended Abstract. 162-171
  
• Jemima Rossmorris, Susan Stepney:
  Requirements as Conjectures: Intuitive DVD Menu Navigation. 172-186
  
• Frank Zeyda, Bill Stoddart, Steve Dunne:
  A Prospective-Value Semantics for the GSL. 187-202
  
• Richard Banach, Simon Fraser:
  Retrenchment and the B-Toolkit. 203-221
  
• Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
  Refinement and Reachability in Event_B. 222-241
  
• Soon-Kyeong Kim, David A. Carrington:
  A Rigorous Foundation for Pattern-Based Design Models. 242-261
  
• Nuno Amálio, Fiona Polack, Susan Stepney:
  An Object-Oriented Structuring for Z Based on Views. 262-278
  
• Yann Zimmermann, Diana Toma:
  Component Reuse in B Using ACL2. 279-298
  
• Didier Bert, Marie-Laure Potet, Nicolas Stouls:
  GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. 299-318
  
• Benjamin W. Long:
  Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z. 319-333
  
• Frédéric Badeau, Arnaud Amelot:
  Using B as a High Level Programming Language in an Industrial Project: Roissy VAL. 334-354
  
• Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan:
  Development via Refinement in Probabilistic B - Foundation and Case Study. 355-373
  
• Eerke A. Boiten, John Derrick:
  Formal Program Development with Approximations. 374-392
  
• Lindsay Groves:
  Practical Data Refinement for the Z Schema Calculus. 393-413
  
• Ingo Brückner, Heike Wehrheim:
  Slicing Object-Z Specifications for Verification. 414-433
  
• Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert:
  Checking JML Specifications with B Machines. 434-453
  
• Judy Bowen, Steve Reeves:
  Including Design Guidelines in the Formal Specification of Interfaces in Z. 454-471
  
• Abdolbaghi Rezazadeh, Michael J. Butler:
  Some Guidelines for Formal Development of Web-Based Applications in B-Method. 472-492