Used together with:
refin
(1)
case
(1)
composit
(1)
studi
(1)
sum
(1)
Stem
lover$ (
all stems
)
1 papers:
FM-2009-McIverM
#case study
#composition
#refinement
#security
Sums and Lovers: Case Studies in Security, Compositionality and Refinement (
AM
,
CCM
), pp. 289–304.
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
.