Collaborated with:
C.Cheng
H.Ruess
Talks about:
synthesi
(1)
structur
(1)
specif
(1)
gxw
(1)
Person:
Yassine Hamza
DBLP: Hamza:Yassine
Contributed to:
2016
Wrote 1 papers:
CAV-2016-ChengHR
#specification
#synthesis
Structural Synthesis for GXW Specifications (
CHC
,
YH
,
HR
), pp. 95–117.
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
.