Abstract is missing.
- Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended AbstractCliff B. Jones. 1-5 [doi]
- Visualising Larger State Spaces in Pro BMichael Leuschel, Edd Turner. 6-23 [doi]
- Non-atomic Refinement in Z and CSPJohn Derrick, Heike Wehrheim. 24-44 [doi]
- Process Refinement in BSteve Dunne, Stacey Conroy. 45-64 [doi]
- CZT: A Framework for Z ToolsPetra Malik, Mark Utting. 65-84 [doi]
- Model Checking Z Specifications Using SALGraeme Smith, Luke Wildman. 85-103 [doi]
- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZIan Toyn, Andy Galloway. 104-123 [doi]
- A Stepwise Development of the Peterson s Mutual Exclusion Algorithm Using B Abstract SystemsChristian Attiogbé. 124-141 [doi]
- An Extension of Event B for Developing Grid SystemsPontus Boström, Marina A. Waldén. 142-161 [doi]
- The Challenge of Probabilistic ::::Event B:::: - Extended AbstractCarroll Morgan, Thai Son Hoang, Jean-Raymond Abrial. 162-171 [doi]
- Requirements as Conjectures: Intuitive DVD Menu NavigationJemima Rossmorris, Susan Stepney. 172-186 [doi]
- A Prospective-Value Semantics for the GSLFrank Zeyda, Bill Stoddart, Steve Dunne. 187-202 [doi]
- Retrenchment and the B-ToolkitRichard Banach, Simon Fraser. 203-221 [doi]
- Refinement and Reachability in Event::B::Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. 222-241 [doi]
- A Rigorous Foundation for Pattern-Based Design ModelsSoon-Kyeong Kim, David A. Carrington. 242-261 [doi]
- An Object-Oriented Structuring for Z Based on ViewsNuno Amálio, Fiona A. C. Polack, Susan Stepney. 262-278 [doi]
- Component Reuse in B Using ACL2Yann Zimmermann, Diana Toma. 279-298 [doi]
- GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security PropertiesDidier Bert, Marie-Laure Potet, Nicolas Stouls. 299-318 [doi]
- Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-ZBenjamin W. Long. 319-333 [doi]
- Using B as a High Level Programming Language in an Industrial Project: Roissy VALFrédéric Badeau, Arnaud Amelot. 334-354 [doi]
- Development via Refinement in Probabilistic B - Foundation and Case StudyThai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan. 355-373 [doi]
- Formal Program Development with ApproximationsEerke Boiten, John Derrick. 374-392 [doi]
- Practical Data Refinement for the Z Schema CalculusLindsay Groves. 393-413 [doi]
- Slicing Object-Z Specifications for VerificationIngo Brückner, Heike Wehrheim. 414-433 [doi]
- Checking JML Specifications with B MachinesFabrice Bouquet, Frédéric Dadeau, Julien Groslambert. 434-453 [doi]
- Including Design Guidelines in the Formal Specification of Interfaces in ZJudy Bowen, Steve Reeves. 454-471 [doi]
- Some Guidelines for Formal Development of Web-Based Applications in B-MethodAbdolbaghi Rezazadeh, Michael J. Butler. 472-492 [doi]