Used together with:
synthesi
(1)
properti
(1)
tool
(1)
Stem
anzu$ (
all stems
)
1 papers:
CAV-2007-JobstmannGWB
#named
#synthesis
Anzu: A Tool for Property Synthesis (
BJ
,
SJG
,
MW
,
RB
), pp. 258–262.
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
.