BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
refin (2)
pattern (2)
structur (1)
simul (1)
punctur (1)

Stem retrench$ (all stems)

8 papers:

Retrenchment and the Atomicity Pattern (RB, CJ, AH, SS), pp. 37–46.
SEFMSEFM-2006-Banach #tutorial
Retrenchment Tutorial (RB), p. 259.
Filtering Retrenchments into Refinements (RB, JD), pp. 60–69.
FMFM-2005-BanachPJS #finite #sequence
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
FMFME-2003-PoppletonB #composition
Structuring Retrenchments in B by Decomposition (MP, RB), pp. 814–833.
Minimally and Maximally Abstract Retrenchments (CJ, RB), pp. 380–400.
ASEASE-1999-PoppletonB #named #refinement
Retrenchment: Extending the Reach of Refinement (MP, RB), pp. 158–165.
IFMIFM-1999-BanachP #simulation
Retrenchment and Punctured Simulation (RB, MP), pp. 457–476.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.