Used together with:
eter
(1)
param
(1)
prophesi
(1)
obabilist
(1)
tool
(1)
Stem
ynthesi$ (
all stems
)
1 papers:
CAV-2015-DehnertJJCVBKA
#named
#parametricity
#probability
#synthesis
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (
CD
,
SJ
,
NJ
,
FC
,
MV
,
HB
,
JPK
,
EÁ
), pp. 214–231.
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
.