Used together with:
specif
(1)
static
(1)
meb
(1)
analysi
(1)
csp
(1)
Stem
ceb$ (
all stems
)
1 papers:
LOPSTR-2008-LeuschelLOST
#csp
#specification
#static analysis
The MEB and CEB Static Analysis for CSP Specifications (
ML
,
ML
,
JO
,
JS
,
ST
), pp. 103–118.
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
.