ZB 2000: York, UK

• J. Michael Spivey:
  Meeting the Challenge of Object-Oriented Programming. 1
  
• Soon-Kyeong Kim, David A. Carrington:
  A Formal Mapping between UML Models and Object-Z Specifications. 2-21
  
• Régine Laleau, Amel Mammar:
  A Generic Process to Refine a B Specification into a Relational Database Implementation. 22-41
  
• Graeme Smith:
  Recursive Schema Definitions in Object-Z. 42-58
  
• Ian Toyn, Samuel H. Valentine, David A. Duffy:
  On Mutually Recursive Free Types in Z. 59-74
  
• David A. Duffy, Ian Toyn:
  Reasoning Inductively about Z Specifications via Unification. 75-94
  
• Ken Robinson:
  Reconciling Axiomatic and Model-Based Specifications Using the B Method. 95-106
  
• Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum:
  Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. 107-126
  
• Pierre Bontron, Marie-Laure Potet:
  Automatic Construction of Validated B Components from Structured Developments. 127-147
  
• Dominique Cansell, Dominique Méry:
  Playing with Abstraction and Refinement for Managing Features Interactions. 148-167
  
• Mark d'Inverno, Koen V. Hindriks, Michael Luck:
  A Formal Architecture for the 3APL Agent Programming Language. 168-187
  
• Helen Treharne, Steve Schneider:
  How to Drive a B Machine. 188-208
  
• Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge:
  Deriving Software Specifications from Event Based Models. 209-229
  
• Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko:
  Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. 230-249
  
• Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King:
  Type-Constrained Generics for Z. 250-263
  
• Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King:
  Typechecking Z. 264-285
  
• Ralph Miarka, Eerke A. Boiten, John Derrick:
  Guards, Preconditions, and Refinement in Z. 286-303
  
• Richard Banach, Michael Poppleton:
  Retrenchment, Refinement, and Simulation. 304-323
  
• Michael J. Butler, Mairead Meagher:
  Performing Algorithmic Refinement before Data Refinement in B. 324-343
  
• Martin C. Henson, Steve Reeves:
  Program Development and Specification Refinement in the Schema Calculus. 344-362
  
• Jean-Louis Lanet:
  Are Smart Cards the Ideal Domain for Applying Formal Methods? 363-373
  
• Susan Stepney, David Cooper:
  Formal Methods for Industrial Products. 374-393
  
• Bill Stoddart:
  An Execution Architecture for GSL. 394-413
  
• Wolfgang Grieskamp:
  A Computation Model for Z Based on Concurrent Constraint Resolution. 414-432
  
• R. D. Arthan:
  Analysis of Compiled Code: A Prototype Formal Model. 433-449
  
• David Everett:
  Zzzzzzzzzzzzzzzzzzzzzzzzzz. 450
  
• David Cooper, Susan Stepney:
  Segregation with Communication. 451-470
  
• David A. Duffy, Jürgen Giesl:
  Closure Induction in a Z-Like Language. 471-490
  
• Chris Matthews, Paul A. Swatman:
  Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. 491-510