Used together with:
verif
(1)
autom
(1)
tool
(1)
Stem
dhtml$ (
all stems
)
1 papers:
ASE-2006-TateishiMOS
#automation
#verification
Automated Verification Tool for DHTML (
TT
,
HM
,
KO
,
SS
), pp. 363–364.
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
.