Used together with:
script
(1)
composit
(1)
use
(1)
verif
(1)
Stem
svl$ (
all stems
)
1 papers:
TACAS-2002-Lang
#composition
#using
#verification
Compositional Verification Using SVL Scripts (
FL
), pp. 465–469.
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
.