Sciweavers

Share
FM
2003
Springer
112views Formal Methods» more  FM 2003»
10 years 4 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
books