Sciweavers

71
Voted
FM
2003
Springer
112views Formal Methods» more  FM 2003»
15 years 2 months ago
Structuring Retrenchments in B by Decomposition
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
Michael Poppleton, Richard Banach