Used together with:
servic
(1)
orient
(1)
verif
(1)
cmc
(1)
properti
(1)
Stem
umc$ (
all stems
)
1 papers:
SAC-2009-BeekMG
#framework
#named
#verification
CMC-UMC: a framework for the verification of abstract service-oriented properties (
MHtB
,
FM
,
SG
), pp. 2111–2117.
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
.