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