Abstract is missing.
- On BJean-Raymond Abrial. 1-8 [doi]
- The Generalised Substitution Language Extended to Probabilistic ProgramsCarroll Morgan. 9-25 [doi]
- MÉTÉOR : An Industrial Success in Formal DevelopmentPatrick Behm, Pierre Desforges, Jean-Marc Meynadier. 26 [doi]
- Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALEFrançois Pilarski. 27-28 [doi]
- Well Defined BPatrick Behm, Lilian Burdy, Jean-Marc Meynadier. 29-45 [doi]
- Composition and Refinement in the B-MethodMarie-Laure Potet, Yann Rouzaud. 46-65 [doi]
- Formalisation of B in Isabelle/HOLPierre Chartier. 66-82 [doi]
- Introducing Dynamic Constraints in BJean-Raymond Abrial, Louis Mussat. 83-128 [doi]
- Retrenchment: An Engineering Variation on RefinementRichard Banach, Michael Poppleton. 129-147 [doi]
- Synthesising Structure from Flat SpecificationsBrian Matthews, Brian Ritchie, Juan Bicarregui. 148-161 [doi]
- An Object-Based Approach to the B Formal MethodAlexander Malioukov. 162-181 [doi]
- Graphical Design of Reactive SystemsEmil Sekerinski. 182-197 [doi]
- Process Control Engineering: Contribution to a Formal Structuring Framework with the B MethodJean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley. 198-209 [doi]
- Designing a B Model for Safety-Critical Software SystemsSouâd Taouil-Traverson, Sylvie Vignes. 210-225 [doi]
- Abstract State Machines: Designing Distributed Systems with State Machines and BBill Stoddart, Steve Dunne, Andy Galloway, Richard Shore. 226-242 [doi]
- Layering Distributed Algorithms within the B-MethodMarina A. Waldén. 243-260 [doi]
- Two Strategies to Data-Refine an Equivalence to a ForestPhilipp A. Heuberger. 261-272 [doi]
- Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal LogicJacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët. 273-292 [doi]
- Test Case Preparation Using a PrototypeHelen Treharne, J. Draper, Steve Schneider. 293-311 [doi]