ZB 2000: York, UK

@proceedings{DBLP:conf/zum/2000,
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {ZB 2000: Formal Specification and Development in Z and B, First
               International Conference of B and Z Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  booktitle = {ZB},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  year      = {2000},
  isbn      = {3-540-67944-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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