Used together with:
javascript
(1)
verifi
(1)
Stem
javanni$ (
all stems
)
1 papers:
FASE-2013-NordioCF
#javascript
#named
#verification
Javanni: A Verifier for JavaScript (
MN
,
CC
,
CAF
), pp. 231–234.
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
.
FASE-2013-NordioCF #javascript #named #verification
FASE-2013-NordioCF #javascript #named #verification