Used together with:
environ
(1)
verif
(1)
esterel
(1)
Stem
xeve$ (
all stems
)
1 papers:
CAV-1998-Bouali
#verification
XEVE, an ESTEREL Verification Environment (
AB
), pp. 500–504.
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
.