Used together with:
web
(1)
verif
(1)
applic
(1)
php
(1)
Stem
verca$ (
all stems
)
1 papers:
SEFM-2014-HauzarK
#named
#php
#verification
#web
WeVerca: Web Applications Verification for PHP (
DH
,
JK
), pp. 296–301.
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
.