BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × France
Collaborated with:
Talks about:
applic (2) php (2) framework (1) analysi (1) static (1) verif (1) verca (1) web (1)

Person: David Hauzar

DBLP DBLP: Hauzar:David

Contributed to:

ECOOP 20152015
SEFM 20142014

Wrote 2 papers:

ECOOP-2015-HauzarK #framework #php #static analysis
Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.
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.