Used together with:
languag
(1)
verif
(1)
system
(1)
Stem
guardol$ (
all stems
)
1 papers:
TACAS-2012-HardinSWP
#verification
The Guardol Language and Verification System (
DSH
,
KS
,
MWW
,
THP
), pp. 18–32.
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
.