Used together with:
complet
(1)
synthesi
(1)
tool
(1)
function
(1)
Stem
comfusi$ (
all stems
)
1 papers:
CAV-2010-KuncakMPS
#functional
#named
#synthesis
Comfusy: A Tool for Complete Functional Synthesis (
VK
,
MM
,
RP
,
PS
), pp. 430–433.
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
.