Collaborated with:
C.Smith
A.Albarghouthi
Talks about:
specif
(1)
discov
(1)
relat
(1)
Person:
Gabriel Ferns
DBLP: Ferns:Gabriel
Contributed to:
2017
Wrote 1 papers:
ESEC-FSE-2017-SmithFA
#relational
#specification
Discovering relational specifications (
CS
,
GF
,
AA
), pp. 616–626.
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
.