Вы здесь

Главная

b method

Связанные издания:

Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
A Generic Process to Refine a B Specification into a Relational Database Implementation
Automatic Construction of Validated B Components from Structured Developments
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
Performing Algorithmic Refinement before Data Refinement in B
Reconciling Axiomatic and Model-Based Specifications Using the B Method
Retrenchment, Refinement, and Simulation
ZB 2000: Formal Specification and Development in Z and B: Proc./First Intern. Conf. of B and Z Users, York, UK, August-September 2000